Explore projects

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

The (Jekyll generated part) of the kwarc website