Paradigmatic examples of MMT content. They are used for development and regression testing.

A MMT counterpart to the elementary math in SMGloM

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.

Subglossary of primes in SMGloM

This SMGloM repository contains modules specifying manifolds and their properties.

The metadata for the MiKoMH project at MathHub.info

The slides and course notes for the course Text and Digital Media at Jacobs University

The course materials for the Lecture Logic Based Language Processing at FAU

The slides and course notes of the course General Computer Science at Jacobs University.

The slides and course notes of the course Computational NL Semantics at Jacobs University.

The slides and course notes for the course Artificial Intelligence at Jacobs University

The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg

The Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)

General Tests (Views, Structures, etc.)

The Course General ICT at Jacobs University