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

Lurch 0.8

Software for teaching and learning mathematical proofs

Apr 6th 2014, 07:53 GMT
Mac OS X (PPC & Intel)