Core Team
The Core team and its Project Leader govern the project. The Core team is composed of co-opted, long-term and significant contributors to the Rocq project and its scientific underpinnings. It is responsible for the Rocq Prover and all official Rocq Projects.
Dev Meeting
Every Tuesday - 4:00 PM CET (see wiki) Open to all
People
Matthieu Sozeau
Project Leader
mattam82
Jason Gross
Core developer
JasonGross
Hugo Herbelin
Core developer
herbelin
Enrico Tassi
Core developer
gares
Théo Zimmermann
Core developer
Zimmi48
Pierre-Marie Pédrot
Core developer
ppedrot
Nicolas Tabareau
Core developer
tabareau
Guillaume Melquiond
Core developer
silene
Gaëtan Gilbert
Core developer
SkySkimmer
Yves Bertot
Core developer
ybertot
Emilio Jesús Gallego Arias
Core developer
ejgallego
Pierre Roux
Core developer
proux01