VeriMathDoc

[gusl]

Remember the joke about having LaTeX type-check your proof in order to catch any mistakes?

VeriMathDoc is dead serious. I'm really looking forward to the day when I have a "mathematical assistant" to let my brain focus on the more creative aspects of math.

Comments

[peamasii.livejournal.com]

If the assistant can wear some tight latex and has the correct topographical maps installed, things can get very creative!