Published March 27, 2026
| Version V9.2.0
Software
Open
rocq-prover/rocq: Rocq 9.2.0
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
- Jason Gross7
- Arnaud Spiwack8
- barras
- Pierre Boutillier
- Vincent Laporte
- Jim Fehrle
- Stéphane Glondu9
- Yves Bertot2
- Jasper Hugunin10
- Clément Pit-Claudel11
- Ali Caglayan
- forestjulien
- Pierre Courtieu
- Yann Leray
- Frédéric Besson
- Pierre Rousselin
- MSoegtropIMC
- 1. @coq
- 2. Inria
- 3. Lean FRO
- 4. Télécom Paris
- 5. @coq @math-comp @LPCIC
- 6. ONERA
- 7. Theorem
- 8. Tweag
- 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.0.zip
Files
(8.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:f05de6774e4c0075ca04172c2e2557fe
|
8.6 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/rocq-prover/rocq/tree/V9.2.0 (URL)
Software
- Repository URL
- https://github.com/rocq-prover/rocq