Governance
The projects running under Rocq and the people behind it
Teams
See who the maintainers of the various official Rocq Projects are. We present a comprehensive list structured by project / purpose
Governance
The governance is ensured by the Project Leader, with the help of the Coordination team, and by the Core team.
13 members
DetailsCommunity
The Community team is responsible for managing forums, social media, and community events.
12 members
DetailsRocq Runtime
The Rocq Runtime team is responsible for the development and maintenance of the Rocq kernel and elaboration (rocq-runtime and rocq-equations).
10 members
DetailsUser Interfaces
The User Interfaces team is responsible for the development and maintenance of the Rocq document managers and user interfaces.
8 members
DetailsPackaging and Distribution
The Packaging and Distribution team is responsible for the packaging and distribution of the Rocq Prover.
13 members
DetailsDocumentation
The Documentation team is responsible for the development and maintenance of the Rocq documentation.
19 members
DetailsInfrastructure
The Infrastructure team is responsible for the development and maintenance of the infrastructure that supports the Rocq project and community.
7 members
DetailsTopic working groups
Topic working groups are community initiatives that gather around certain topics or a shared purpose. See the list of topic working groups on the Rocq wiki. Participation is welcome and encouraged.
