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://uniformal.github.io/ for documentation about the MMT system and language.