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.