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

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

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

*See README for exceptions

We archive KI-Projekts of the KWARC group here.

The main development repository

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

The (Jekyll generated part) of the kwarc website

The MMT blue notes

Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html

Competition between python TicTacToe AIs