Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Metamath

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || 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-2014 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.