well, it has Coq in the title | Hacker News

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

		skocznymroczny on June 6, 2019 \| parent \| context \| favorite \| on: Writing a formally-verified image browser in Coq a... well, it has Coq in the title

resoluteteeth on June 6, 2019 [–]

It would be a bit unfortunate if you had just exhausted political capital to convince your employer it was acceptable to use something called "Coq."

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