Tools
The official tools for working with the Rocq Prover.
Teams
rocq doc
The tool to generate HTML documentation from Rocq source files.
Matthieu Sozeau
Maintainer
mattam82
Hugo Herbelin
Maintainer
herbelin
Guillaume Melquiond
Maintainer
silene
Xia Li-yao
Maintainer
Lysxia
rocq makefile
The tool to generate Makefiles for Rocq projects.
Enrico Tassi
Maintainer
gares
Guillaume Melquiond
Maintainer
silene
Gaëtan Gilbert
Maintainer
SkySkimmer
Docker Opam Action
The Docker Opam Action helps users to build and test their projects with Rocq using GitHub Actions.
Erik Martin-Dorel
Team leader
erikmd
Théo Zimmermann
Maintainer
Zimmi48