Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
The course on Secure and Dependable Systems.
-
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.
-
DEPRECATED: Group Theory (computational and otherwise)
-
-
DEPRECATED: Interface theories for expression translation
-
A MMT counterpart to the elementary math in SMGloM
-
for now seeded with ODK/math content
-
The MMT formalizations for the very first FrameIT prototype by Dennis Rochau. This is Obsolete by now.
-
-
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.