PROGRAMS BY lurch.sf.net
-
Lurch Free
Software for teaching and learning mathematical proofsWhere most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attraci