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

Elementary set theory for the SMGloM

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

mbgen meta-theory and demo schema theories

version 2 of the LATIN atlas

The Course "Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen" at FAU Erlangen

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

The staging ground for Theresa's SMGloM contributions

The language meta-level of SMGloM

The SMGloM modules for elementary algebra.

The course on Secure and Dependable Systems.

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

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

KRMT SS2017

Slides and notes for talks held by Michael Kohlhase

The metadata for the MiKoMH project at MathHub.info

Examples for Grammatical Logical Framework (GLF)