Formally Verified Code Benchmark

2 points| yuppiemephisto | 4 months ago |arxiv.org