Teoremų įrodinėjimo įrankis Coq svarsto galimybę pakeisti pavadinimą. Priežastis: Anglofonams žodžiai „coq“ ir „cock“ (vyrų lytinio organo slengas) skamba panašiai, o kai kurios moterys, naudodamos vardą šnekamojoje kalboje, susidūrė su dviprasmiškais juokeliais. Pats Coq kalbos pavadinimas kilęs iš vieno iš kūrėjų Thierry Coquand vardo. Coq ir Cock (angl. gaidys) skambesio panašumas jau buvo suvaidintas projekte: struktūroms apibūdinti naudojama kalba vadinama Gallina (lot. vištiena).
Šaltinis: opennet.ru