Formally Verified Code Benchmark | Dark Hacker News