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