It's not small at all. It's about 30KLOC of code. | Hacker News

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

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

It's not small at all. It's about 30KLOC of code.

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