Ilo pri teorema pruvo Coq pripensas ŝanĝi sian nomon. Kialo: Al anglofonoj, la vortoj "coq" kaj "cock" (slango por la vira seksorgano) sonas simile, kaj kelkaj inaj uzantoj renkontis dusensajn ŝercojn kiam ili uzis la nomon en parola lingvo. La nomo mem de la lingvo Coq venas de la nomo de unu el la programistoj, Thierry Coquand. La simileco de la sono de Coq kaj Cock (angla koko) jam estis ludita en la projekto: la lingvo uzata por priskribi la strukturojn nomiĝas Gallina (latina kokido).
fonto: opennet.ru