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

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

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

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 public repository for the JLogic law formalization course


Elementary set theory for the SMGloM

a research paper describing the export from Isabelle to OMDoc/MMT that is used to generate the MMT projects in this group

The SMGloM modules for elementary algebra.


The SMGloM modules on linear algebra.




The SMGloM modules for topology

Subglossary of primes in SMGloM

Number Theory

special numbers in SMGloM


Basic concepts about computers and programming