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.