The Formalizations for the UFrameIT-based serious game FrameWorld.
Logic Atlas, Version 2
Homework/Quiz problems for AI lectures
The problems for the course Computational Logic at Jacobs University
Paradigmatic examples of MMT content. They are used for development and regression testing.
Metalogical frameworks that extend LF - the Edinburgh Logical Framework. These provide common features - e.g. record types, subtyping, or flexary functions - of logical languages at the meta-level for inheritance in LFX-specified logics.
Core formalizations of (elementary) mathematics in MMT
The logical foundation(al theories) used by MitM projects
The Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)
just a backup of the jedit extension for my masterproject/masterthesis