Softpedia >Mac >  Applications filed under: create natural deduction proof  (1 item)

Apps filed under: create natural deduction proof

  RSS Feed for this tag 1 application totalLast updated: Jun 18th 2012, 11:14 GMT

     
  • 236 downloads
  • 53 KB
uProve

uProve 1.0.0

Java tool for building natural deduction proofs

Jun 18th 2012, 11:14 GMT
Mac OS X