http://us.metamath.org/ 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 op

http://us.metamath.org/ 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.