Explore projects

The (Jekyll generated part) of the kwarc website

Auxiliary repository for Florian Rabe's homepage

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)

The main development repository

The (Jekyll generated part) of the kwarc website

user interface to present error output

Demo of the Grammatical Logical Framework for a paper submitted to lfmtp 2019.