Program verification is not all-or-nothing | Hacker News

new | ask | show | jobs

Program verification is not all-or-nothing (lawrencecpaulson.github.io)

2 points by Bogdanp 10 hours ago | discuss

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

yet another Hacker News client · github.com/reiuyuu/nhn