📅 2026-04-15
Pronunciation of the day: Coq
Coq is pronounced "kok" · /kɒk/ · product
"kok" — proof assistant. Now renamed Rocq.
For the full source citation, alternate readings, and CLI usage, see the canonical page → Coq.
📅 2026-04-15
Coq is pronounced "kok" · /kɒk/ · product
"kok" — proof assistant. Now renamed Rocq.
For the full source citation, alternate readings, and CLI usage, see the canonical page → Coq.