NEW: Free Lurch book, January 2014
A free and open-source logic textbook is available that integrates Lurch throughout! Read more…
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:
- 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.
- 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.
|TeX-enabled word processor||only unicode math symbols for now, more math rendering coming|
|built on OpenMath for unambiguous semantics||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!|
Other Lurch Project Software
|Toy Proofs||Three online “toy” proof systems to ease students into the concept of a proof.|