Rocq 怎么读

Rocq 在英语中的标准读法是 「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".

来源：Rocq wiki — Alternative names ("in English, sound like rock"; short for Rocquencourt)

读对项目名只是工程师文化的一部分 — 但开会时被人轻轻纠正、或者在 podcast 上被嘉宾礼貌打断的滋味，并不好受。Pronounce 是一个开源的开发者词汇发音词典，每条都标注来源、信心等级，并且有预渲染的音频可以直接听。