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.
Lurch Web Site
Sent to .
You seem to have CSS turned off. Please don't fill out this field.
Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.