Explore projects

The MMT blue notes

JavaScript client for Sally

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

*See README for exceptions

forthel (variant) in GF

user interface to present error output

KAT papers

Repository of binary releases of the Sally4 framework

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