Stars
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
This repo is the new home of Proof General
Multi platform setup for Rocq, Rocq libraries and tools
Docker images of coq-mathcomp [maintainer=?]
Archive for all Rocq and Coq-related opam packages organized in various repositories