GitLab

The Formalizations for the UFrameIT-based serious game FrameWorld.

Logic Atlas, Version 2

fragment of MML for testing, using the latest XML export

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

The slides and course notes of the course Computational NL Semantics 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 at Jacobs University.

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

The metadata for the MiKoMH project at MathHub.info

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 logical foundation(al theories) used by MitM projects

Slides and notes for talks held by Michael Kohlhase

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

Basic concepts about computers and programming

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

Core formalizations of (elementary) mathematics in MMT

The Course General ICT at Jacobs University

EXPERIMENTAL: Formalizing Mathematical Models as Research Data