Multimedia |
Messengers |
Desktop |
Development |
Education |
Games |
Graphics |
Networking |
Security |
Servers |
Utilities |
Web Dev
Lurch
By The Lurch Project
Rating:
0/5 (0)
0/5 (0)
License type:
Open source
Home page:
lurch.sourceforge.net
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...
