Browsing tag: proof  

Serendipity Blackmagic 5.4.03

The updater for the platform independent color management solution that enables you to create colo...

Aug 9th 2014, 21:26 GMT

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