Teorēmu pierādīšanas rīks Coq apsver iespēju mainīt nosaukumu. Iemesls: anglofoniem vārdi "coq" un "cock" (vīrieša dzimumorgāna slengs) izklausās līdzīgi, un dažas sievietes, lietojot vārdu sarunvalodā, ir saskārušās ar divkāršu jokiem. Pats Coq valodas nosaukums cēlies no viena no izstrādātājiem Thierry Coquand vārda. Coq un Cock (angļu gailis) skaņu līdzība jau ir izspēlēta projektā: struktūru aprakstīšanai izmantotā valoda tiek saukta par Gallina (latīņu cālis).
Avots: opennet.ru