M

meta-inf

Metadata for the MMATh documents and formalizations