Browsing tag: proof  

Neenah Paper Cabinet 2.1.0

Design and browse papers with ease

Oct 20th 2013, 02:58 GMT

uProve 1.0.0

Java tool for building natural deduction proofs

Jun 18th 2012, 11:14 GMT

Raptor 5.0

Java tool for reasoning about imperative programs

Jun 6th 2012, 23:56 GMT

Pandora IV

Helps you create natural deduction proofs

Jun 6th 2012, 19:50 GMT