Interesting, and that's reflected in the alternative names discussion [1]: > Using the "coke" pronunciation, possibly written "Côq" Because Côq is an extremely

Interesting, and that's reflected in the alternative names discussion [1]: > Using the "coke" pronunciation, possibly written "Côq" Because Côq is an extremely addictive tool. In French, it would be pronounced with a closed "o" reminiscent of the "o" of "coke" in English. Good for those fond of playing with words, oh geez, these lines of high quality Côq made me so happy. [1] https://github.com/coq/coq/wiki/Alternative-names https://github.com/coq/coq/wiki/Alternative-names