Explore projects
-
Updated
-
Updated
-
Updated
-
This repository contains the MMT-translation of the SoftwareFoundations book.
Updated -
The problems for the course Computational Logic at Jacobs University
Updated -
-
Updated
-
Updated
-
Updated
-
Shabbar Raza's code for finding alignments based on matching names.
Updated -
Updated
-
Updated
-
Updated
-
just a backup of the jedit extension for my masterproject/masterthesis
Updated -
-
-
The Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)
Updated -
-