Lurch 0.8 Released on April 3, 2014! (Download) (Troubles? See our FAQ!)
Lurch now supports full mathematical typesetting of math expressions in either TeX or calculator notation. This is a major release, following version 0.7992. See release notes here.
Watch a video of the new features:
- 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||done and thoroughly tested|
|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.|