Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
A Semantic Multilingual Glossary for Mathematics.
-
A Semantic Multilingual Glossary for Mathematics.
-
FormalCAD Project Content
-
-
The slides and course notes of the course General Computer Science at Jacobs University.
-
The slides and course notes of the course Computational Logic at Jacobs University.
-
Basics about KWARC, Jacobs, etc. and other missing stuff.
-
-
-
The language meta-level of SMGloM
-
thesis docs
-
Graph Theory Modules in SMGloM
-
Documentation about the SMGloM
-
Elementary set theory for the SMGloM
-
The slides and course notes for the course Statistics at Jacobs University
-
-
Elementary set theory for the SMGloM
-
A Semantic Multilingual Glossary for Mathematics.
-
Elementary set theory for the SMGloM
-
Elementary set theory for the SMGloM