Hacker News new | ask | show | jobs
Formally Verified Code Benchmark (arxiv.org)
2 points by yuppiemephisto 265 days ago