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)