Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
clarus | Dark Hacker News
user:
clarus
created:
December 11, 2011
karma:
270
submissions
comments
1.
Extracting verified C++ from the Rocq theorem prover at Bloomberg
(bloomberg.github.io)
129 points
by
clarus
118 days ago
|
39 comments