Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
The metadata for the BaseMH project at MathHub.info
-
Basic Concepts of Physics
-
A MMT counterpart to the elementary math in SMGloM
-
The MMT formalizations for the very first FrameIT prototype by Dennis Rochau. This is Obsolete by now.
-
-
for now seeded with ODK/math content
-
DEPRECATED: Interface theories for expression translation
-
-
DEPRECATED: Group Theory (computational and otherwise)
-
A bite-sized fragment of the MML used for Testing and Development This is old work by among other Mihnea Iancu, which was superseded by the new export in the same repository group.
-
This export of the MML is old work by among other Mihnea Iancu, which was superseded by the new export in the same repository group.