Lurch Lite
Posted by download in Other, Software on 01-09-2010
Application details
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