Read news on The Rocq Prover with our app.
Read more in the app
Coq will be renamed into 'The Rocq Prover'
