The MMT blue notes
A single repository with all* Coq packages repositories from https://gl.mathhub.info/Coq as submodule
*See README for exceptions
user interface to present error output
Repository of binary releases of the Sally4 framework
This is the frontend repository where issues and wikis regarding the Sally4 project are hosted.
Resources related to the Kwarc seminar, i.e., slides and project papers. Public, i.e., no grading information.