Cool. People interested in formalized math might be interested in metamath: http://us.metamath.org/index.html http://us.metamath.org/index.html or one of severa

Cool. People interested in formalized math might be interested in metamath: http://us.metamath.org/index.html http://us.metamath.org/index.html or one of several other systems; here's a list of some and what they've proven: http://www.cs.ru.nl/%7Efreek/100/ http://www.cs.ru.nl/%7Efreek/100/