Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
An SMGloM Archive for Logic
-
A SMGloM archive for mathematical Software
-
-
-
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 Erlangen-Nuremberg 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 re-implement ForTheL, the language of SAD.
-
The Formalizations for the UFrameIT-based 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