Hacker News new | ask | show | jobs
by KalMann 236 days ago
Why do you keep saying Rocq when he asked about Coq? Are they the same thing?
1 comments
Epa095 236 days ago
https://en.wikipedia.org/wiki/Rocq

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

link