Download von release-notes.txt (release-notes.txt ( externer Link: SourceForge.net): 2,605 Bytes) wird in Kürze beginnen. Wenn nicht, klicke auf release-notes.txt ( externer Link: 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.