Explore GitLab
Discover projects, groups and snippets. Share your projects with others

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

Updated


The knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.
Updated 

The library of the MathScheme project. See http://www.cas.mcmaster.ca/research/mathscheme/
Updated 
The Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)
Updated 

Updated

The general mathematical knowledge needed for the OpenDreamKit Virtual Research Environment.
Updated 
Examples from the course Knowledge Representation for Mathematical Theories (https://kwarc.info/courses/KRMT/) given by Kohlhase and Rabe at University ErlangenNuremberg in Summer 2020.
Updated 
Updated


Updated



Updated

Updated