Explore projects

The MathWebSearch Manual

This is the frontend repository where issues and wikis regarding the Sally4 project are hosted.

The (Jekyll generated part) of the kwarc website

KAT papers

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

user interface to present error output

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