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
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.
