On: How Dr. Seuss would prove the halting problem unde...

[chbarts]

http://us.metamath.org/

Do you know about Metamath yet? It's something similar to what you want, but it's all in a single program as opposed to being web-based.