Home

Lurch 0.7992 Released on May 9, 2013!  (Download)  (Troubles? See our FAQ!)

This release is a point release on top of Lurch 0.75, which was huge leap forward and had been nearly 2 years in the works.  This point release adds some minor new features, but more importantly fixes some important bugs (see release notes here).

Watch videos of 0.75 features here:

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
TeX-enabled word processor	only unicode math symbols for now, more math rendering coming
built on OpenMath for unambiguous semantics	done and thoroughly tested
JavaScript engine for customizing validation	done and thoroughly tested
several math topics built in	several now, more coming
users can add new math topics	easy for any mathematician to do — no programming required!