This is a library of fully formalized definitions and proofs. Some of the material
has been enhanced by the addition of informal explanations referring to it.

There is also a experimental automatic web projection project for the FDL content
under development.

Here are some listings of theories developed by Paul Jackson (taken from his full listing):

Here is some non-mathematical material.