Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
Basic concepts about computers and programming
-
The materials of the LBS course held in WS 2019/20.
-
The IWGS glossary
-
The SMGloM contributions of Jukka Kohonen.
-
The SMGloM contributions of Gabriel Cunningham.
-
Elementary physics
-
Claudio's Code and potentially other things.
-
mbgen meta-theory and demo schema theories
-
-
Terminology in Computer Science
-
-
-
-
Logic Atlas, Version 2
-
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