Extracting verified C++ from the Rocq theorem prover at Bloomberg

3 points by clarus | 1 comments
Loading...