Explore projects

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

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

JavaScript client for Sally

user interface to present error output