version 2 of the LATIN atlas

Claudio's Code and potentially other things.

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

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 SMGloM modules for elementary algebra.

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

The library of the MathScheme project. See http://www.cas.mcmaster.ca/research/mathscheme/

A MMT counterpart to the elementary math in SMGloM

General Tests (Views, Structures, etc.)

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.

Slides and notes for talks held by Michael Kohlhase

Elementary set theory for the SMGloM

the meta information for the Math-in-the-Middle Ontology

The materials for the triangle course "Topics in Modern Computer Science" at Jacobs University.

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