Super HN
New
Show
Extracting verified C++ from the Rocq theorem prover at Bloomberg
(bloomberg.github.io)
3 points by clarus 2 days ago