A group is a collection of several projects.
If you organize your projects under a group, it works like a folder.
You can manage your group member’s permissions and access to each project in the group.
M
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.