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

documentation for SMGloM project

Articles describing the library export

Slides and notes for talks held by Michael Kohlhase

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

The course on Secure and Dependable Systems.

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

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

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

A MMT counterpart to the elementary math in SMGloM

Examples for Grammatical Logical Framework (GLF)

OMDoc export of the Archive of Formal Proofs

OMDoc export of the theories included in the Isabelle distribution

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

The SMGloM modules for elementary algebra.

Elementary set theory for the SMGloM