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.
VERSION HISTORY
- Version 0.4 posted on 2010-09-22
Several fixes and updates - Version 0.4 posted on 2010-09-22
Program Details
- Category: Development > Other
- Publisher: lurch.sf.net
- License: Free
- Price: N/A
- Version: 0.4
- Platform: linux