Explore projects

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.

The public repository for the JLogic law formalization course

a research paper describing the export from Isabelle to OMDoc/MMT that is used to generate the MMT projects in this group

Popov v. Hayashi as a Context Graph

Examples for Grammatical Logical Framework (GLF)

The upper library ontology for theorem prover libraries.

The materials of the LBS course held in WS 2019/20.

Claudio's Code and potentially other things.

mbgen meta-theory and demo schema theories

The library of the MathScheme project. See http://www.cas.mcmaster.ca/research/mathscheme/

Articles describing the library export

LMFDB Knowls exported to sTeX.

Demos for OpenDreamKit WP6