Explore projects

An attempt at a new KWARC web site based on the one from OpenDreamKit

Resources related to the Kwarc seminar, i.e., slides and project papers. Public, i.e., no grading information.

The MathWebSearch Manual

KAT papers

Moved to https://github.com/MathHubInfo/MoSIS_Jupyter_Kernel

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

user interface to present error output

This project provides the communication schema and implementations for Java and Python.