Explore projects
-
MMT / examples
Creative Commons Attribution Share Alike 4.0 InternationalParadigmatic examples of MMT content. They are used for development and regression testing.
Updated -
MMT / urtheories
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
MMT / LATIN
Creative Commons Attribution Share Alike 4.0 InternationalThe Logic Atlas and Integrator project content (still in TWELF, not MMT syntax)
Updated -
ODK / Sage
Creative Commons Attribution Share Alike 4.0 InternationalThe knowledge for integrating the Sage system into the OpenDreamKit virtual Research Environment.
Updated -
ODK / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalThe Meta Information for the ODK Group.
Updated -
Updated
-
MMT / LFX
Creative Commons Attribution Share Alike 4.0 InternationalMetalogical 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.
Updated -
LoViVo / Experiments
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
ODK / python
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / Documentation
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / algebra
Creative Commons Attribution Share Alike 4.0 InternationalThe SMGloM modules for elementary algebra.
Updated -
-
ODK / FindStat
Creative Commons Attribution Share Alike 4.0 InternationalThe Knowledge behind the FindStat project
Updated -
Papers / 23-CICM-Alea
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
MMT / mathscheme
Creative Commons Attribution Share Alike 4.0 InternationalThe library of the MathScheme project. See http://www.cas.mcmaster.ca/research/mathscheme/
Updated -
Tutorials / KRMT
Creative Commons Attribution Share Alike 4.0 InternationalExamples 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 -
Tutorials / KRMT22
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Papers / 23-AI4AI-Guided-Tours
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
ODK / math
Creative Commons Attribution Share Alike 4.0 InternationalThe general mathematical knowledge needed for the OpenDreamKit Virtual Research Environment.
Updated