5 days ago|discuss
user: yuppiemephisto
350 karma | created 6 years ago
recent submissions
1 month ago|discuss
1 month ago|discuss
2 months ago|discuss
2 months ago|discuss
2 months ago|discuss
2 months ago|discuss
3 months ago|discuss
3 months ago|discuss
3 months ago|discuss
4 months ago|discuss
Formally Verified Code Benchmark
(arxiv.org)
2 pts|4 months ago|discuss
5 months ago|discuss
5 months ago|discuss
5 months ago|discuss
6 months ago|discuss
7 months ago|discuss
7 months ago|discuss
7 months ago|discuss
9 months ago|discuss