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 metalevel 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