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, 2018 at 0:19
  • Whichever way is most natural for you.
    – psosuna
    Mar 13, 2018 at 0:23
  • 1
    The obvious way until someone “corrects” you. Then switch to “coke” ;o) Mar 13, 2018 at 0:24
  • 1
    The French Coq is the nickname for "calcule de construction", which is calculus of construction.
    – Lambie
    Mar 13, 2018 at 15:34

2 Answers 2


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, 2018 at 0:30
  • I think it’s more like “cuck” than either coke or cock.
    – Jim
    Mar 15, 2018 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, 2018 at 9:45

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

  • Why the downvotes?
    – Sam Estep
    Mar 16, 2018 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, 2021 at 1:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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