Explore projects

A single repository with all* Coq packages repositories from https://gl.mathhub.info/Coq as submodule

*See README for exceptions

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