Packaging and Distribution
The Packaging and Distribution team is responsible for the packaging and distribution of the Rocq Prover.
Teams
Rocq Platform
The Rocq Platform is the official distribution of the Rocq Prover and curated packages.
GitHub
Enrico Tassi
Maintainer
gares
Maintainer
MSoegtropIMC
Sylvain Borgogno
Maintainer
Justme0606
opam
The opam team maintains the Rocq opam packages and repository for user-contributed packages.
GitHub
Enrico Tassi
Team leader
gares
Karl Palmskog
Team leader
palmskog
Cyril Cohen
Maintainer
CohenCyril
Guillaume Claret
Maintainer
clarus
Ralf Jung
Maintainer
RalfJung
Jason Gross
Maintainer
JasonGross
Guillaume Melquiond
Maintainer
silene
Laurent Théry
Maintainer
thery
Maintainer
MSoegtropIMC
Frédéric Blanqui
Maintainer
fblanqui
Pierre Roux
Maintainer
proux01
Docker
The Docker team maintains the Rocq Docker images.
Sylvain Borgogno
Maintainer
Justme0606
Emeritus members
Erik Martin-Dorel
Initial author
erikmd