Hacker News new | ask | show | jobs
by tedunangst 4044 days ago
What is the largest piece of code you have formally verified?