The (Jekyll generated part) of the kwarc website
Auxiliary repository for Florian Rabe's homepage
Bachelor Thesis Denis Rochau
Includes Proposal, Thesis and Presentation
Resources related to the Kwarc seminar, i.e., slides and project papers. Public, i.e., no grading information.
we archive completed B.Sc supervision repositories here after a while
archiving all the completed MSc supervision repositories after a while
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 KI-Projekts of the KWARC group here.
Preparation for a Special Interest Group for Maths Linguistics (SIGMathLing)
The main development repository