Home

Preview of the upcoming release

Our next release (early 2012) will be a giant leap forward from past releases.  Here’s a preview!

Mission Statement

1. Lurch should be as indistinguishable from the ordinary activities of mathematics as possible, except for the additional services it provides. That is, it should only add to your math experience, not change your math experience.
2. Lurch should provide the software infrastructure the mathematical community needs for validating rigorous mathematics. That is, it should validate mathematical content created by you — a “spell-checker” for mathematical rigor.

Features	Status (as of upcoming release)
TeX-enabled word processor	done and working well
built on OpenMath for unambiguous semantics	done and thoroughly tested
JavaScript engine for customizing validation	done and thoroughly tested
several math topics built in	just a few now, more coming
users can add new math topics	easy for any mathematician to do — no programming required!