Read news on Coq theorem prover with our app.
Read more in the app
Coq theorem prover is now called Rocq
