A MMT counterpart to the elementary math in SMGloM

OMDoc export of the Archive of Formal Proofs

OMDoc export of the theories included in the Isabelle distribution

The slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg

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

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

The IWGS glossary

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

The Course General ICT at Jacobs University

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

Slides and notes for talks held by Michael Kohlhase

version 2 of the LATIN atlas

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

The language meta-level of SMGloM

documentation for SMGloM project

Elementary set theory for the SMGloM

The SMGloM modules on linear algebra.

Graph Theory Modules in SMGloM