Why do you keep saying Rocq when he asked about Coq? Are they the same thing? | Hacker News

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

		KalMann 69 days ago \| parent \| context \| favorite \| on: Why formalize mathematics – more than catching err... Why do you keep saying Rocq when he asked about Coq? Are they the same thing?

Epa095 69 days ago [–]

https://en.wikipedia.org/wiki/Rocq

`The Rocq Prover (formerly named Coq) [...] `

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