GitLab

Logic Atlas, Version 2

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

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

The slides and course notes of the course Computational Logic.

The slides and course notes of the course Computational NL Semantics.

Graph Theory Modules in SMGloM

The slides and course notes for the course Artificial Intelligence at FAU Erlangen-Nürnberg

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

The course on Secure and Dependable Systems.

EXPERIMENTAL: Formalizing Mathematical Models as Research Data

Active documents with models

Subglossary of primes in SMGloM

The Formalizations for the UFrameIT-based serious game FrameWorld.

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.

fragment of MML for testing, using the latest XML export

The metadata for the MiKoMH project at MathHub.info