Auxiliary repository for Florian Rabe's homepage

The (Jekyll generated part) of the kwarc website

a new EU EOSC proposal

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

We try to enrich SMGloM with syntactic information that will allow us to parse with GF.

archiving all the completed MSc supervision repositories after a while

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

resources for the TAs and instructors of the AI courses.

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

The MMT blue notes

The (Jekyll generated part) of the kwarc website