Downloading Lurch 0.8 from the developer's website was possible when we last checked. We cannot confirm if there is a free download of this software available. This free program was originally produced by The Lurch Project. We recommend checking the downloaded files with any free antivirus. The software relates to Education Tools. The following version: 0.8 is the most frequently downloaded one by the program users. The most frequent installation filename for the software is: Lurch.exe.
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 ToyProofs, which might be similar to Lurch.
Office Tools