The upper library ontology for theorem prover libraries.

A MMT counterpart to the elementary math in SMGloM

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

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

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

Elementary set theory for the SMGloM

Logic Atlas, Version 2

The Formalizations for the UFrameIT-based serious game FrameWorld.

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

Examples for Grammatical Logical Framework (GLF)

GLForTheL is the result of a case study into the suitability of GLF (now GLIF) for the development of controlled mathematical languages. Specifically, we tried to re-implement ForTheL, the language of SAD.

The SMGloM modules for topology

OMDoc export of the Archive of Formal Proofs

OMDoc export of the theories included in the Isabelle distribution

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

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

Slides and notes for talks held by Michael Kohlhase

The materials of the LBS course held in WS 2019/20.