|
|
DC Proof Online (Popularity: )
http://www.dcproof.com
New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to write error-free proofs by selecting rules ...
|
|
PVS (Popularity: )
http://pvs.csl.sri.com/
The PVS Specification and Verification System. Available for Sparc machines with Solaris 2 and Intel x86 Machines with Linux compatible ...
|
|
|