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


fragment of MML for testing, using the latest XML export

Foundations of Units and Quantities.

The public repository for the JLogic law formalization course



Popov v. Hayashi as a Context Graph

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.

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 reimplement ForTheL, the language of SAD.

The Formalizations for the UFrameITbased serious game FrameWorld.

Core formalizations of (elementary) mathematics in MMT

Basic concepts about computers and programming

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

The IWGS glossary

The SMGloM contributions of Jukka Kohonen.

The SMGloM contributions of Gabriel Cunningham.

Elementary physics

Claudio's Code and potentially other things.

mbgen metatheory and demo schema theories
