Podnova Player  Windows library  Podnova home
HomeEducation › Lurch


By The Lurch Project
Rating: 0 0/5 (0)
License type: Open source
Latest version: 0.8
Last updated: January 22nd, 2016
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...