Ferramenta de prova de teoremas Coq está considerando mudar seu nome. Motivo: para os anglófonos, as palavras “coq” e “cock” (gíria para o órgão sexual masculino) soam semelhantes, e algumas usuárias encontraram piadas de duplo sentido ao usar o nome na linguagem falada. O próprio nome da linguagem Coq vem do nome de um dos desenvolvedores, Thierry Coquand. A semelhança do som de Coq e Cock (galo inglês) já foi ressaltada no projeto: a linguagem usada para descrever as estruturas chama-se Gallina (galinha latina).
Fonte: opennet.ru