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.
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.
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.
There are no projects shared with this group yet
There are no archived projects yet