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.
Comments