Explore projects

The main development repository

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

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

papers/manuals on the OAF build system.

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

*See README for exceptions

O Week Stuff from Tyler