Apps filed under: mathematical proof learner
RSS Feed for this tag 1 application totalLast updated: Apr 6th 2014, 07:53 GMT
- 786 downloads
- 12.3 MB
Lurch 0.8
Software for teaching and learning mathematical proofs
Apr 6th 2014, 07:53 GMT
Mac OS X (PPC & Intel)