The (Jekyll generated part) of the kwarc website

UFrameIT Paper for CICM20

Authors: ?

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

Auxiliary repository for Florian Rabe's homepage

resources for the TAs and instructors of the AI courses.

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

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

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

a new EU EOSC proposal

archiving all the completed MSc supervision repositories after a while

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