Orodje za dokazovanje izrekov Coq razmišlja o spremembi imena. Razlog: Anglofonom besedi "coq" in "cock" (sleng za moški spolni organ) zvenita podobno, nekatere uporabnice pa so pri uporabi imena v govorjenem jeziku naletele na dvoumne šale. Samo ime jezika Coq izvira iz imena enega od razvijalcev Thierryja Coquanda. Podobnost zvoka Coq in Cock (angleško petelin) je bila že prikazana v projektu: jezik, ki se uporablja za opisovanje struktur, se imenuje Gallina (latinsko piščanec).
Vir: opennet.ru