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
Pierre Roux
Core developer
proux01
Yann Leray
Core developer
yannl35133
Emeritus members
Yves Bertot
Core developer
ybertot
Emilio Jesús Gallego Arias
Core developer
ejgallego
Maxime Dénès
Core developer
maximedenes
Pierre Letouzey
Core developer
letouzey
Vincent Laporte
Core developer
vbgl
Arnaud Spiwack
Core developer
aspiwack
Bruno Barras
Core developer
barras
Jean-Christophe Filliâtre
Core developer
backtracking
David Delahaye
Core developer
delahayd
Benjamin Monate
Core developer
monate
Chetan R. Murthy
Core developer
chetmurthy
T
Thierry Coquand
Creator (1984), V1-V5
G
Gérard Huet
Creator and Head of the Project (1984-1995), V1-V5
C
Christine Paulin-Mohring
V4.4-V8, Head of the Project (1995-2006)
G
Gilles Dowek
Core developer
E
Eduardo Giménez
Core developer
B
Benjamin Werner
Core developer