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
-
This is an export of the Mizar Mathematical Library by Colin Rothgang, ArturKornilowicz, and Florian Rabe. See the export-paper repository for a description.
The name of this repository is temporary and will be changed to MML soon.
-
-
-
Template repository for an MathHub/MMT archive. Documents the structure created by lmh when intiializing a repository (modulo archive name and optional config)
-
The slides and course notes for the course Text and Digital Media at Jacobs University