Skip to content

Top New Best Ask Show Jobs

clarus

270 karmaJoined December 11, 201165 submissions

clarus | Better HN

Recent submissions

1

Extracting verified C++ from the Rocq theorem prover at Bloomberg (opens in new tab)

(bloomberg.github.io)

129clarus2mo ago39