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

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

Slides and notes for talks held by Michael Kohlhase

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

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

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 materials for the Lecture Logic Based Language Processing at FAU

temporary home for the EOSC proposal.

A MMT counterpart to the elementary math in SMGloM

The SMGloM modules for calculus

The SMGloM modules for topology

Elementary set theory for the SMGloM

Graph Theory Modules in SMGloM

The SMGloM modules for elementary algebra.

trigonometric functions

The SMGloM modules on linear algebra.