MMT

Archives for native MMT content.

Not to be confused with archives that were exported from other systems like HOL Light and Mizar.

See https://svn.kwarc.info/repos/MMT/doc/html/index.html for documentation about the MMT system and language.