Explore projects

Logic Atlas, Version 2

Homework/Quiz problems for AI lectures

The problems for the course Computational Logic at Jacobs University

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.

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

Core formalizations of (elementary) mathematics in MMT

The logical foundation(al theories) used by MitM projects

This repository contains the MMT-translation of the SoftwareFoundations book.

Shabbar Raza's code for finding alignments based on matching names.

The Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)