My understanding is that it's just smaller. By focusing entirely on validation i... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

tel on March 25, 2015 | parent | context | favorite | on: Proving false in Coq using an implementation bug

My understanding is that it's just smaller. By focusing entirely on validation it opens up less room for bugs.

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