The Coq proof assistant does not seem to specify a pronunciation on its website, nor does the Wikipedia page list a pronunciation. How should its name be pronounced?

  • 2
    However you wish.
    – Hot Licks
    Mar 13 '18 at 0:19
  • Whichever way is most natural for you.
    – psosuna
    Mar 13 '18 at 0:23
  • 1
    The obvious way until someone “corrects” you. Then switch to “coke” ;o) Mar 13 '18 at 0:24
  • 1
    The French Coq is the nickname for "calcule de construction", which is calculus of construction.
    – Lambie
    Mar 13 '18 at 15:34

The word coq, which is the French word for "cock", meaning male chicken or rooster, in English sees almost exclusive use in the name of the French dish coq au vin, and is pronounced either like "coke" or like "cock".

  • When I see it I think of the "food supplement" CoQ10, which is fairly universally pronounced "co que ten".
    – Hot Licks
    Mar 13 '18 at 0:30
  • I think it’s more like “cuck” than either coke or cock.
    – Jim
    Mar 15 '18 at 21:28
  • To elaborate on the Coq proof assistant software mentioned in the question (which I work with): in my experience, most anglophones working with Coq either pronounce it as they would pronounce cock, or else aim to replicate the standard French pronunciation, which doesn’t quite correspond to any English vowel. I’ve never heard anyone go for a fully English coke vowel when speaking of the proof assistant.
    – PLL
    Jun 18 '18 at 9:45

Judging from the comments in this Reddit thread, the pronunciation is /kɑk/ (source).

  • Why the downvotes?
    – Sam Estep
    Mar 16 '18 at 11:38
  • Mebbe Reddit is like the anti-StackExchange. Shame that the only answer to a pronunciation question that uses IPA is downvoted.
    – CCTO
    Jun 11 '21 at 1:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.