Explore projects
-
The Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)
Updated -
Paradigmatic examples of MMT content. They are used for development and regression testing.
Updated -
Updated
-
The problems for the course Computational Logic at Jacobs University
Updated