Alat za dokazivanje teorema Coq razmatra promjenu imena. Razlog: Anglofonima riječi "coq" i "cock" (sleng za muški polni organ) zvuče slično, a neke korisnice nailaze na dvosmislene šale kada koriste ime u govornom jeziku. Sam naziv jezika Coq dolazi od imena jednog od programera, Thierryja Coquanda. Sličnost zvuka Coq i Cock (engleski pijetao) već je prikazana u projektu: jezik koji se koristi za opisivanje struktura zove se Gallina (latinski piletina).
izvor: opennet.ru