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.
License
GNU General Public License version 2.0 (GPLv2)Follow Lurch
You Might Also Like