Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
just a backup of the jedit extension for my masterproject/masterthesis
-
simple logic exercises for the interactive prover
-
-
An SMGloM Archive for Logic
-
A SMGloM archive for mathematical Software
-
-
-
This is an export of the Mizar Mathematical Library by Colin Rothgang, ArturKornilowicz, and Florian Rabe. See the export-paper repository for a description.
The name of this repository is temporary and will be changed to MML soon.
-
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.