archiving all the completed MSc supervision repositories after a while
Resources related to the Kwarc seminar, i.e., slides and project papers. Public, i.e., no grading information.
The (Jekyll generated part) of the kwarc website
Auxiliary repository for Florian Rabe's homepage
O Week Stuff from Tyler
The MMT blue notes
A single repository with all* Coq packages repositories from https://gl.mathhub.info/Coq as submodule
*See README for exceptions
we archive completed B.Sc supervision repositories here after a while
We archive KI-Projekts of the KWARC group here.
Preparation for a Special Interest Group for Maths Linguistics (SIGMathLing)
The main development repository