Coq teoreemide tõestamise tööriist kaalub nime muutmist. Põhjus: inglise keelt kõnelejade jaoks kõlavad sõnad "coq" ja "cock" (slangis mehe suguelundi tähenduses) sarnase hääldusega ning mõned nais kasutajad on kohanud kaheti mõistetavaid nalju nime suulise rääkimise ajal. Nime Coq on saanud arendaja Thierry Coquandi perekonnanimest. Coqi ja Cocki (ingl. kukk) sarnaneheli on juba esinenud projektis: keelt, mida konstruktsioonide kirjeldamiseks kasutatakse, nimetatakse Gallinaks (lad. kana).
Allikas: opennet.ru
