Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
mbgen meta-theory and demo schema theories
-
-
Terminology in Computer Science
-
-
-
-
version 2 of the LATIN atlas
-
-
The virtual theories of the symmetric objects data collection.
-
The meta-theories for the schema theories for MathHub data collections
-
The core schema theories (given in the Math Data Description Language MDDL) for the symmetric objects data collection
-
The meta information for the MathHub data collection on highly symmetric objects
-
-
-
-
-
-
-