Formalized Research Database is an attempt to create an increasingly complete theorem proving system and library.
Here is a presentation detailing the FRD project
http://frdcsa.org/~andrewdo/writings/FRD.odp