Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
The virtual theories of the symmetric objects data collection.
-
-
Foundations of Units and Quantities.
-
-
-
trigonometric functions
-
The SMGloM modules for topology
-
The SMGloM modules for topology
-
The materials for the triangle course "Topics in Modern Computer Science" at Jacobs University.
-
thesis docs
-
The staging ground for Theresa's SMGloM contributions
-
-
sub-library of OEIS for testing
-
-
-
Template repository for an MathHub/MMT archive. Documents the structure created by lmh when intiializing a repository (modulo archive name and optional config)