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 5 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 5 days ago [–]

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

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

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact