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 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