Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library


Library Home || Full Table of Contents || Library Help

Visit this site: http://metamath.org

Author:Norman Megill
Description: 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.

Levels: College, Research
Languages: English
Resource Types: Problems/Puzzles, Web Interactive/Java
Math Topics: Logic/Foundations

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.