Learn English – How is Coq pronounced


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?

Best Answer

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".