Extensions
The official extensions to the Rocq Prover.
Teams
Rocq Standard Library
The Rocq Corelib and Standard Library team.
Numbers
The Numbers library and notations.
Reals
The maintainers of the Reals library.
Rocq Extraction
The Rocq Extraction plugin team.
Automatic Tactic Plugins
The maintainers of the official plugins providing automatic tactics.
Pierre Corbineau
Maintainer (congruence, firstorder, rtauto)
PierreCorbineau
Assia Mahboubi
Maintainer (ring)
amahboubi
Maintainer (ring)
bgregoir
Frédéric Besson
Maintainer (micromega)
fajb
Hugo Herbelin
Maintainer (congruence, firstorder, nsatz, ring, rtauto)
herbelin
Pierre-Marie Pédrot
Maintainer (nsatz)
ppedrot
Laurent Théry
Maintainer (micromega, nsatz, ring)
thery