1 month ago|discuss
user: clarus
269 karma | created 14 years ago
recent submissions
1 month ago|discuss
Extracting verified C++ from the Rocq theorem prover at Bloomberg
(bloomberg.github.io)
129 pts|1 month ago|39 comments
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
3 years ago|discuss
3 years ago|discuss
4 years ago|discuss
4 years ago|discuss