Source Package metamath

Subpackages

• metamath - Construct mathematics from basic axioms
• metamath-doc - The Metamath book
• metamath-theories - Existing mathematical theories in the metamath format