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 of inference, axioms, etc. from convenient drop-down menus. Includes tutorial and exercises. Category:
Science - Math - Logic and Foundations - Software