Teoreemide tõestamise tööriist Coq kaalub oma nime muutmist. Põhjus: anglofonidele kõlavad sõnad "coq" ja "cock" (meessoost suguelundi släng) sarnaselt ning mõned naissoost kasutajad on nime kõnekeeles kasutamisel kohanud kahemõttelisi nalju. Coqi keele nimi tuleneb ühe arendaja Thierry Coquandi nimest. Coqi ja Cocki (inglise kukk) kõla sarnasus on projektis juba läbi mängitud: struktuuride kirjeldamiseks kasutatud keelt nimetatakse Gallinaks (ladina kana).
Allikas: opennet.ru