Recent searches
Search options
It is now time to Rocq out with the Coq out
MathstodonGuillaume Munch-Maccagnoni (@gadmm@mathstodon.xyz)https://rocq-prover.org/releases/9.0
"Rocq 9.0
This page describes Rocq version 9.0, released on March 12th, 2025. Go here for a list of all releases.
This is the first release of Rocq, version 9. It marks the completion of the renaming from The Coq Proof Assistant to The Rocq Prover."
They have taken the Coq out completely
@mcc y'a plus de Coq :/