Coq will be renamed into 'The Rocq Prover'

Coq 8.13.0 Is Out

Mike Nahas's Coq Tutorial

Coq 8.6 is out

The Coq Package Index