Is the Coq bug you're thinking of this one, from earlier this year? https://gith... | Hacker News

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

		schoen on June 1, 2015 \| parent \| context \| favorite \| on: Developing Provably-Correct Software Using Formal ... Is the Coq bug you're thinking of this one, from earlier this year? https://github.com/clarus/falso

tel on June 1, 2015 [–]

That wasn't really in the core verifier exactly. It was more like an optimization.

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