Back to Rocq Team

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
Notes Meeting Link

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