Coq theorem prover is now called Rocq
Summary
Rocq Prover, formerly Coq, has been renamed to Rocq Prover to reflect its origins at Inria Rocquencourt and the Rock myth. The page outlines what Rocq Prover is, its long history, the name evolution, and notable awards, along with available resources. This provides useful context for researchers and developers in formal verification and verified programming languages.