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