Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
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
-
-
-
The Course "Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen" at FAU Erlangen
-
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 Erlangen-Nuremberg in Summer 2020.
-
Logic Atlas, Version 2
-
-
The language meta-level of SMGloM
-
The SMGloM modules for elementary algebra.
-
-
Slides and notes for talks held by Michael Kohlhase