Lurch Lite for Linux - Software for teaching and learning mathematical proofs.


Size:
18KB
Requirements:
No special requirements
Seller:
Ken Monks
Price:
Free
System:
Linux
Rating:
4.7
License:
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



More in Teaching and Testing-Lurch Lite for Linux - Software for teaching and learning mathematical proofs.

Math Topics Mathematical Proofs