Softpedia >Mac >  Applications filed under: proof  (5 items)

Apps filed under: proof

  RSS Feed for this tag 5 applications totalLast updated: Nov 1st 2016, 05:17 GMT

     
  • 77 downloads
  • 71.9 MB
Dataproofer

Dataproofer 1.5.0

Data analysis tool that offers you the possibility to quickly identify possible errors by running ...

Nov 1st 2016, 05:17 GMT
Mac OS X 10.9 or later (Intel only)
     
  • 178 downloads
  • 97.7 MB
Neenah Paper Cabinet

Neenah Paper Cabinet 2.1.0

Design and browse papers with ease

Oct 20th 2013, 02:58 GMT
Mac OS X 10.4 or later (Intel only)
     
  • 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
     
  • 1,152 downloads
  • 1 KB
Raptor

Raptor 5.0

Java tool for reasoning about imperative programs

Jun 6th 2012, 23:56 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