Explore projects
-
Updated
-
Paradigmatic examples of MMT content. They are used for development and regression testing.
Updated -
-
-
Updated
-
-
-
The Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)
Updated -
The library of the MathScheme project. See http://www.cas.mcmaster.ca/research/mathscheme/
Updated -
Updated
-
The general mathematical knowledge needed for the OpenDreamKit Virtual Research Environment.
Updated -
Updated
-
Examples from the course Knowledge Representation for Mathematical Theories (https://kwarc.info/courses/KRMT/) given by Kohlhase and Rabe at University Erlangen-Nuremberg in Summer 2020.
Updated -
-
Updated
-
Updated
-
-
Updated
-
The knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.
Updated