Teorembevisverktøyet Coq vurderer å endre navn. Årsak: For anglofoner høres ordene "coq" og "cock" (slang for det mannlige kjønnsorganet) likt ut, og noen kvinnelige brukere har støtt på dobbeltsidige vitser når de bruker navnet i talespråk. Selve navnet på Coq-språket kommer fra navnet til en av utviklerne, Thierry Coquand. Likheten til lyden av Coq og Cock (engelsk hane) har allerede blitt spilt opp i prosjektet: språket som brukes til å beskrive strukturene kalles Gallina (latinsk kylling).
Kilde: opennet.ru