Metamath

From MathWeb

Jump to: navigation, search

Metamath is a language for expressing theorems and validatable proofs in abstract mathematics. Metamath files can be converted to OMDoc via the Metamath to OMDoc Bridge.

Resources

Retrieved from "http://www.mathweb.org/wiki/Metamath"
Facts about MetamathRDF feed
Homepagehttp://us.metamath.org/index.html  +
Personal tools
MathWeb
Structures