Explore projects
-
The discussion problems for the plenary sessions of the AI-1/2 courses at FAU.
archived 0Updated -
-
A Semantic Multilingual Glossary for Mathematics.
archived 0Updated -
The materials for the triangle course "Topics in Modern Computer Science" at Jacobs University.
archived 0Updated -
-
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.
archived 0Updated -
-
archived 0Updated
-
-
-
-
The MMT formalizations for the very first FrameIT prototype by Dennis Rochau. This is Obsolete by now.
archived 0Updated -
-
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.
archived 0Updated