GitLab

Slides and notes for talks held by Michael Kohlhase

Logic Atlas, Version 2

Paradigmatic examples of MMT content. They are used for development and regression testing.

Metalogical frameworks that extend LF - the Edinburgh Logical Framework. These provide common features - e.g. record types, subtyping, or flexary functions - of logical languages at the meta-level for inheritance in LFX-specified logics.

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 Formalizations for the UFrameIT-based serious game FrameWorld.

The Course General ICT at Jacobs University

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

The course on Secure and Dependable Systems.

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.

Terminology in Computer Science

The slides and course notes for the course Text and Digital Media at Jacobs University

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.