Published July 22, 2026
| Version V9.3+rc1
Software
Open
rocq-prover/rocq: Rocq 9.3+rc1
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
- Jason Gross7
- Guillaume Melquiond
- Arnaud Spiwack8
- barras
- Pierre Boutillier
- Vincent Laporte
- Jim Fehrle
- Stéphane Glondu9
- Yves Bertot2
- Jasper Hugunin10
- Clément Pit-Claudel11
- Ali Caglayan12
- forestjulien
- Yann Leray
- Pierre Courtieu
- 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
- 12. @Tarides
Description
See the changelog for an overview of the new bug fixes and changes.
Files
rocq-prover/rocq-V9.3+rc1.zip
Files
(8.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:1157252c0f7e8478ede02953ecc04c88
|
8.8 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/rocq-prover/rocq/tree/V9.3+rc1 (URL)
Software
- Repository URL
- https://github.com/rocq-prover/rocq