How to pronounce Rocq
product community-consensus
Rocq is most commonly pronounced "rock" (/ˈrɑːk/). This is the widely-used reading among engineers, though edge cases exist.
The Rocq Prover is the new name of the Coq proof assistant, official since the 9.0 release in March 2025. It is pronounced simply "rock" — the name honors Inria Rocquencourt, where the system was born, and echoes the mythical bird Roc; the final q is silent. Do not carry over the old Coq /kɒk/ vowel or read the French -cq as "kew".
Source: Rocq wiki — Alternative names ("in English, sound like rock"; short for Rocquencourt)
Pronouncing project and product names correctly avoids the small but persistent friction of being gently corrected during standups, conference Q&As, and team calls. Hearing the word a few times locks in the right reading better than reading IPA ever will. Pronounce is a community-maintained dictionary — every entry tagged with a confidence level and (where possible) a citable source.
How do you pronounce Rocq?
Rocq is pronounced "rock" (/ˈrɑːk/). The Rocq Prover is the new name of the Coq proof assistant, official since the 9.0 release in March 2025. It is pronounced simply "rock" — the name honors Inria Rocquencourt, where the system was born, and echoes the mythical bird Roc; the final q is silent. Do not carry over the old Coq /kɒk/ vowel or read the French -cq as "kew". Source: Rocq wiki — Alternative names ("in English, sound like rock"; short for Rocquencourt).
What is the IPA for Rocq?
The IPA for Rocq is /ˈrɑːk/, respelled "rock".
Hear it from the command line
Install the CLI: git clone https://github.com/anzy-renlab-ai/pronounce.git && cd pronounce && ./install.sh
⭐ Star the project
This whole page exists because of a community-maintained TSV. If it saved you a cringey moment, drop a star.
★ Star on GitHub