Explore projects

The (Jekyll generated part) of the kwarc website

Auxiliary repository for Florian Rabe's homepage

Resources related to the Kwarc seminar, i.e., slides and project papers. Public, i.e., no grading information.

archiving all the completed MSc supervision repositories after a while

we archive completed B.Sc supervision repositories here after a while

Preparation for a Special Interest Group for Maths Linguistics (SIGMathLing)

We archive KI-Projekts of the KWARC group here.

Bachelor Thesis Denis Rochau Includes Proposal, Thesis and Presentation

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