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

(bloomberg.github.io) by clarus | Jan 20, 2026 | 1 comments on HN