Metamath

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

 * on AsteroidMeta
 * Wikipedia article
 * Wikipedia article