Metamatemath
Demostraciones de teoremas, verificables por computadora.
Estas demostraciones y otras gracias están disponibles en:
http://us.metamath.org/index.html