Lurch 0.8
Lurch is a program for teaching and learning mathematical proofs
Program info
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.
Details
Extensions
No information available
The data will be available later.Old versions
No information available
The data will be available later.
Comments