Infrastructure
The Infrastructure team is responsible for the development and maintenance of the infrastructure that supports the Rocq project and community.
Teams
Administration
The Administration team is responsible for the administration of the Rocq project organizations on GitHub, GitLab, and other platforms.
ROCQbot
The ROCQbot team is responsible for the development and maintenance of the Rocq development bot.
Théo Zimmermann
Team leader
Zimmi48
Jason Gross
Maintainer
JasonGross
Kim Quyen Ly
Maintainer
lykimq
Continuous Integration and Benchmarking
The infrastructure to continuously build, test and benchmark the Rocq project, including compatibility with reverse dependencies.
Maintainer (Windows)
MSoegtropIMC
Gaëtan Gilbert
Maintainer (Benchmark infrastructure, CI)
SkySkimmer
Théo Zimmermann
Maintainer (CI, Windows)
Zimmi48
Pierre-Marie Pédrot
Maintainer (Benchmark infrastructure)
ppedrot
Build infrastructure
The infrastructure used to build the Rocq project.
Anton Trunov
Maintainer
anton-trunov
Gaëtan Gilbert
Maintainer
SkySkimmer
Test Suite
The test suite of the Rocq project.
Hugo Herbelin
Maintainer
herbelin
Gaëtan Gilbert
Maintainer
SkySkimmer
Development Tools
The tools used by Rocq developers to work on the project.
Jason Gross
Maintainer
JasonGross
Théo Zimmermann
Maintainer
Zimmi48
Gaëtan Gilbert
Maintainer
SkySkimmer