Explore projects

The meta-theories for the schema theories for MathHub data collections

Logic Atlas, Version 2

mbgen meta-theory and demo schema theories

Elementary physics

The SMGloM contributions of Jukka Kohonen.

The IWGS glossary

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

Core formalizations of (elementary) mathematics in MMT

The Formalizations for the UFrameIT-based serious game FrameWorld.

GLForTheL is the result of a case study into the suitability of GLF (now GLIF) for the development of controlled mathematical languages. Specifically, we tried to re-implement ForTheL, the language of SAD.

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.

Foundations of Units and Quantities.