Apps filed under: build proof
RSS Feed for this tag 1 application totalLast updated: Jun 18th 2012, 11:14 GMT
- 236 downloads
- 53 KB
uProve 1.0.0
Java tool for building natural deduction proofs
Jun 18th 2012, 11:14 GMT
Mac OS X
RSS Feed for this tag 1 application totalLast updated: Jun 18th 2012, 11:14 GMT
Java tool for building natural deduction proofs