Explore GitLab
Discover projects, groups and snippets. Share your projects with others

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

Logic Atlas, Version 2

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


The slides and course notes for the course Artificial Intelligence at FAU ErlangenNürnberg

The SMGloM modules for topology

Elementary set theory for the SMGloM

Subglossary of primes in SMGloM

Number Theory

special numbers in SMGloM

The SMGloM modules on linear algebra.


Basic concepts about computers and programming

The SMGloM modules for calculus



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

Examples from the course Knowledge Representation for Mathematical Theories (https://kwarc.info/courses/KRMT/) given by Kohlhase and Rabe at University ErlangenNuremberg in Summer 2020.


The language metalevel of SMGloM