The 0.8 version of Lurch is provided as a free download on our website. The most popular version among Lurch users is 0.8. The Lurch installer is commonly called Lurch.exe. Our built-in antivirus checked this download and rated it as 100% safe. Lurch is categorized as Education Tools. The actual developer of the free software is The Lurch Project.
From the developer:
Lurch is a program for teaching and learning mathematical proofs. It supports full mathematical typesetting of math expressions in either TeX or calculator notation; it is built on OpenMath for unambiguous semantics. Users can add new math topics to this program.
You may want to check out more software, such as LurchLite or Addams Family, which might be similar to Lurch.