Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
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.
-
-
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 meta-theory and demo schema theories
-
-
Terminology in Computer Science
-
-
-
-
Logic Atlas, Version 2
-
The virtual theories of the symmetric objects data collection.
-
The meta-theories for the schema theories for MathHub data collections