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