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


Logic Atlas, Version 2

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

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

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

Slides and notes for talks held by Michael Kohlhase


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

just a backup of the jedit extension for my masterproject/masterthesis

General Metadata that apply to all MathHub content.

Elementary set theory for the SMGloM

An SMGloM Archive for Logic

Foundations of Units and Quantities.

The IWGS glossary


A SMGloM archive for mathematical Software

The SMGloM modules for elementary algebra.

This is an export of the Mizar Mathematical Library by Colin Rothgang, ArturKornilowicz, and Florian Rabe. See the exportpaper repository for a description.
The name of this repository is temporary and will be changed to MML soon.

The SMGloM modules for topology