The (Jekyll generated part) of the kwarc website

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

resources for the TAs and instructors of the AI courses.

Auxiliary repository for Florian Rabe's homepage

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

archiving all the completed MSc supervision repositories after a while

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

user interface to present error output

FrameIT Paper for CICM16

Authors: Denis Rochau, Michael Kohlhase, Dennis Mueller

Proposal (draft) for a COST action dedicated to mathematical data

a new EU EOSC proposal

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