3 ms·
Why do you keep saying Rocq when he asked about Coq? Are they the same thing?
by KalMann 1y ago
Why do you keep saying Rocq when he asked about Coq? Are they the same thing?
- Epa095 1y agohttps://en.wikipedia.org/wiki/Rocq https://en.wikipedia.org/wiki/Rocq `The Rocq Prover (formerly named Coq) [...] `