This is functionnality very similar to http://www.aimath.org/knowlepedia/ but done much better.
example usage of knowl.js here (loads proofs inline) http://linear.ups.edu/html/section-HSE.html