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

O Week Stuff from Tyler

The MMT blue notes