Back to Governance

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