Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
The course notes and slides of the course "Informatische Werkzeuge der Geistes- und Sozialwissenschaften" at FAU Elangen-Nürnberg
-
The metadata for the MiKoMH project at MathHub.info
-
The slides and course notes of the course Computational Logic at Jacobs University.
-
The Formalizations for the UFrameIT-based serious game FrameWorld.
-
GLForTheL is the result of a case study into the suitability of GLF (now GLIF) for the development of controlled mathematical languages. Specifically, we tried to re-implement ForTheL, the language of SAD.
-
Logic Atlas, Version 2
-
Terminology in Computer Science
-
Slides and notes for talks held by Michael Kohlhase
-
The Course General ICT at Jacobs University
-
The slides and course notes for the course Text and Digital Media at Jacobs University
-
The course on Secure and Dependable Systems.
-
The course materials for the Lecture Logic Based Language Processing at FAU
-
Basics about KWARC, FAU, Jacobs, etc. and other missing stuff.
-
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.
-
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 Erlangen-Nürnberg
-
Paradigmatic examples of MMT content. They are used for development and regression testing.
-
Examples from the course Knowledge Representation for Mathematical Theories (https://kwarc.info/courses/KRMT/) given by Kohlhase and Rabe at University Erlangen-Nuremberg in Summer 2020.
-