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)