Read news on Rocq with our app.
Read more in the app
Coq theorem prover is now called Rocq
Extracting verified C++ from the Rocq theorem prover at Bloomberg
