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.
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
Plugin Tutorial
The maintainers of the Rocq plugin tutorial.
Zenodo
The maintainers of the Zenodo record for Rocq Prover releases.