La herramienta de demostración de teoremas Coq está considerando cambiar su nombre. Motivo: Para los anglófonos, las palabras "coq" y "cock" (jerga para el órgano sexual masculino) suenan similares, y algunas usuarias han encontrado chistes de doble sentido al usar el nombre en el lenguaje hablado. El nombre mismo del lenguaje Coq proviene del nombre de uno de los desarrolladores, Thierry Coquand. La similitud del sonido de Coq y Cock (gallo inglés) ya se ha resaltado en el proyecto: el lenguaje utilizado para describir las estructuras se llama Gallina (pollo en latín).
Fuente: opennet.ru