Télécharger des release-notes.txt (release-notes.txt ( lien externe: SourceForge.net): 2,605 octets) va bientôt commencer. Sinon, cliquez sur release-notes.txt ( lien externe: SourceForge.net).
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.