Explore projects

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

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

forthel (variant) in GF

This is the frontend repository where issues and wikis regarding the Sally4 project are hosted.

Moved to https://github.com/MathHubInfo/MoSIS_Jupyter_Kernel

KAT papers