Library Home || Full Table of Contents || Library Help
|A site for proofs and logic. Includes: Metamath Solitaire--a Java applet that lets you build simple proofs in logic and set theory (built-in: the axioms of logic and ZFC (Zermelo-Fraenkel with Choice) set theory) with source code and other web resources; Metamath Proof Explorer--over 2000 complete, formal, and interlinked logic and set theory proofs; Quantum Logic Explorer--around 500 complete formal quantum logic proofs; and Classic Metamath--an ANSI-C proof-checking program, downloadable, with documentation and database. Also available from mirrors in Australia and Germany.|
|Resource Types:||Problems/Puzzles, Web Interactive/Java|
© 1994- The Math Forum at NCTM. All rights reserved.