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


The Formalizations for the UFrameITbased serious game FrameWorld.

The SMGloM modules for elementary algebra.

The SMGloM modules for calculus



Slides and notes for talks held by Michael Kohlhase

The slides and course notes of the course Computational Logic.

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

The SMGloM modules on linear algebra.

The slides and course notes of the course General Computer Science at Jacobs University.

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


Basics for formal grammars


Graph Theory Modules in SMGloM

Elementary set theory for the SMGloM

The concepts from the AI lecture at MiKoMH/AI

An SMGloM Archive for Logic