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


Logic Atlas, Version 2

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


The metadata for the MiKoMH project at MathHub.info

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

Slides and notes for talks held by Michael Kohlhase

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

Basic concepts about computers and programming

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

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

Core formalizations of (elementary) mathematics in MMT

The Formalizations for the UFrameITbased serious game FrameWorld.

The Course General ICT at Jacobs University

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

EXPERIMENTAL: Formalizing Mathematical Models as Research Data

The SMGloM modules for elementary algebra.


The SMGloM modules on linear algebra.

Foundations of Units and Quantities.