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.