Explore projects

Auxiliary repository for Florian Rabe's homepage

The (Jekyll generated part) of the kwarc website

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 KI-Projekts of the KWARC group here.

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

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

Bachelor Thesis Denis Rochau Includes Proposal, Thesis and Presentation

The MMT blue notes

A single repository with all* Coq packages repositories from https://gl.mathhub.info/Coq as submodule

*See README for exceptions