Extracting verified C++ from the Rocq theorem prover at Bloombergbloomberg.github.io·129 pts·clarus·39