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.
-
-
A bite-sized fragment of the MML used for Testing and Development
-
The main (public) parts of the Specware library.
-
Elementary set theory for the SMGloM
-
-
The repository for the MWS-based, text and formula, search system for OEIS
-
-
Core formalizations of (elementary) mathematics in MMT
-
-
Basics about KWARC, Jacobs, etc. and other missing stuff.
-
Modal logic problems collected at University Potsdam.
-
-
-
-
-
-