Published February 10, 2026
| Version V9.2+rc2
Software
Open
rocq-prover/rocq: Rocq 9.2+rc2
Authors/Creators
- Hugo Herbelin
- Pierre-Marie Pédrot
- coqbot1
- Gaëtan Gilbert2
- Maxime Dénès
- letouzey
- Emilio Jesús Gallego Arias3
- Matthieu Sozeau2
- Théo Zimmermann4
- Enrico Tassi5
- Jean-Christophe Filliatre
- Pierre Roux6
- Guillaume Melquiond
- Arnaud Spiwack7
- Jason Gross8
- barras
- Pierre Boutillier
- Vincent Laporte
- Jim Fehrle
- Stéphane Glondu9
- Yves Bertot2
- Jasper Hugunin10
- Clément Pit-Claudel11
- Ali Caglayan
- forestjulien
- Pierre Courtieu
- Frédéric Besson
- Pierre Rousselin
- MSoegtropIMC
- Yann Leray
- 1. @coq
- 2. Inria
- 3. Lean FRO
- 4. Télécom Paris
- 5. @coq @math-comp @LPCIC
- 6. ONERA
- 7. Tweag
- 8. Theorem
- 9. VCAST / Inria
- 10. Microsoft
- 11. EPFL
Description
See the changelog for an overview of the new bug fixes and changes.
Files
rocq-prover/rocq-V9.2+rc2.zip
Files
(8.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:dbbc1da40d2206189b06c30145b78ebd
|
8.6 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/rocq-prover/rocq/tree/V9.2+rc2 (URL)
Software
- Repository URL
- https://github.com/rocq-prover/rocq