Explore projects
-
-
Updated
-
-
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 -
Updated
-
Paradigmatic examples of MMT content. They are used for development and regression testing.
Updated -
Updated
-
The Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)
Updated -
Updated
-
The slides and course notes of the course General Computer Science at Jacobs University.
Updated -
The slides and course notes of the course Computational Logic at Jacobs University.
Updated -
-
Updated
-
Updated
-
Updated
-
-
-
-