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


A bitesized 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 MWSbased, 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.





