Softpedia >Mac >  Applications filed under: natural deduction  (3 items)

Apps filed under: natural deduction

  RSS Feed for this tag 3 applications totalLast updated: Jun 23rd 2012, 01:52 GMT

     
  • 139 downloads
  • 1 KB
Panda

Panda 1.0

Provides natural deduction system formulas

Jun 23rd 2012, 01:52 GMT
Mac OS X
     
  • 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
     
  • 155 downloads
  • 1 KB
Pandora

Pandora IV

Helps you create natural deduction proofs

Jun 6th 2012, 19:50 GMT
Mac OS X