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 Elangen-Nürnberg
-
The Course "Logik-Basierte 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 Erlangen-Nü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 export-paper repository for a description.
The name of this repository is temporary and will be changed to MML soon.
-
The SMGloM modules for topology