A ferramenta de demostración de teoremas Coq está a pensar en cambiar o seu nome. Motivo: para os anglófonos, as palabras "coq" e "cock" (xerga para o órgano sexual masculino) soan semellantes, e algunhas usuarias atoparon chistes de dobre sentido ao usar o nome na lingua falada. O propio nome da linguaxe Coq provén do nome dun dos desenvolvedores, Thierry Coquand. A semellanza do son de Coq e Cock (galo inglés) xa se ten presente no proxecto: a linguaxe utilizada para describir as estruturas chámase Gallina (polo latino).
Fonte: opennet.ru