Size:
18KB
Requirements:
No special requirements
No special requirements
Price:
Free
Free
System:
Linux
Linux
Rating:
4.7
4.7
License:
GPL
GPL
Description - Lurch Lite for Linux - Software for teaching and learning mathematical proofs.
Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal Logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface. Features Status TeX-enabled word processor functional with a few known bugs built on OpenMath for unambiguous semantics done and thoroughly tested JavaScript engine for customizing validation done and thoroughly tested several math topics built in just a few now, more coming users can add new math topics