Explore projects

The main development repository

The (Jekyll generated part) of the kwarc website

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

The papers about MathWebSearch

resources for the TAs and instructors of the AI courses.

user interface to present error output

forthel (variant) in GF

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