Narzędzie do dowodzenia twierdzeń Coq rozważa zmianę swojej nazwy. Powód: dla anglojęzycznych słów „coq” i „cock” (w slangu oznaczającym męski narząd płciowy) brzmią podobnie, a niektóre kobiety spotkały się z dwuznacznymi żartami, gdy używały tej nazwy w języku mówionym. Sama nazwa języka Coq pochodzi od nazwiska jednego z twórców, Thierry'ego Coquanda. Podobieństwo brzmienia Coq i Cock (angielski kogut) zostało już odtworzone w projekcie: język używany do opisu struktur nazywa się Gallina (łac. kurczak).
Źródło: opennet.ru