Lurch
Lurch is a program for teaching and learning mathematical proofs.
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.
This program received 2 awards
This software was checked for viruses and was found to be clean. Click here to see antivirus report.
trusted
DOWNLOAD
46.4 MB
Free