Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
The public repository for the JLogic law formalization course
-
-
-
simple logic exercises for the interactive prover
-
just a backup of the jedit extension for my masterproject/masterthesis
-
-
documentation for SMGloM project
-
The Metadata for the MMATh formalizations and active documents.
-
-
-
-
Metadata for the MMATh documents and formalizations
-
LMFDB Knowls exported to sTeX.
-
Demos for OpenDreamKit WP6
-
The SMGloM modules for elementary algebra.
-
A MMT counterpart to the elementary math in SMGloM
-
-
A Semantic Multilingual Glossary for Mathematics.