Documentation
The Documentation team is responsible for the development and maintenance of the Rocq documentation.
Teams
Reference Manual
The Reference Manual team is responsible for the development and maintenance of the Rocq reference manual.
Théo Zimmermann
Maintainer
Zimmi48
Jim Fehrle
Maintainer
jfehrle
Clément Pit-Claudel
Maintainer
cpitclaudel
Pierre Roux
Maintainer
proux01
Thomas Lamiaux
Maintainer
thomas-lamiaux
Pierre Rousselin
Maintainer
Villetaneuse
Rocq Platform Docs
A collection of short, action-oriented tutorials and how-to guides for the Rocq Prover and its Platform.
GitHub
Thomas Lamiaux
Team leader
thomas-lamiaux
Matthieu Sozeau
Maintainer
mattam82
Kazuhiko Sakaguchi
Maintainer
pi8027
Cyril Cohen
Maintainer
CohenCyril
Théo Zimmermann
Maintainer
Zimmi48
Assia Mahboubi
Maintainer
amahboubi
Pierre Roux
Maintainer
proux01
Meven Lennon-Bertrand
Maintainer
MevenBertrand
Quentin VERMANDE
Maintainer
Tragicus
Pierre Rousselin
Maintainer
Villetaneuse
Website
The Website team is responsible for the development and maintenance of the rocq-prover.org website.
GitHub
Matthieu Sozeau
Maintainer
mattam82
Karl Palmskog
Maintainer
palmskog
Théo Zimmermann
Maintainer
Zimmi48
Nicolas Tabareau
Maintainer
tabareau
Thomas Lamiaux
Maintainer
thomas-lamiaux
Plugin Tutorial
The maintainers of the Rocq plugin tutorial.
Matthieu Sozeau
Maintainer
mattam82
Enrico Tassi
Maintainer
gares
Gaëtan Gilbert
Maintainer
SkySkimmer
Yves Bertot
Maintainer
ybertot
Zenodo
The maintainers of the Zenodo record for Rocq Prover releases.
Matthieu Sozeau
Maintainer
mattam82
Théo Zimmermann
Maintainer
Zimmi48