Very nice. This is functionnality very similar to http://www.aimath.org/knowlepedia/ http://www.aimath.org/knowlepedia/ but done much better. example usage of

Very nice. This is functionnality very similar to http://www.aimath.org/knowlepedia/ 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 http://linear.ups.edu/html/section-HSE.html