A Coq tételbizonyító eszköz a nevének megváltoztatását fontolgatja. Indoklás: Az anglofonok számára a "coq" és a "cock" (a férfi nemi szerv szlengje) szavak hasonlónak hangzanak, és néhány női felhasználó kétirányú viccekkel találkozott, amikor a nevet beszélt nyelvben használták. A Coq nyelv elnevezése az egyik fejlesztő, Thierry Coquand nevéből származik. A Coq és Cock (angol kakas) hangzásának hasonlóságát már a projektben is eljátszották: a szerkezetek leírására használt nyelvet Gallinának (latin csirke) hívják.
Forrás: opennet.ru