L'outil de démonstration de théorèmes Coq envisage de changer de nom. Raison : Pour les anglophones, les mots « coq » et « cock » (argot désignant l'organe sexuel masculin) se ressemblent, et certaines utilisatrices ont été confrontées à des blagues à double sens lorsqu'elles utilisaient le nom dans le langage parlé. Le nom même du langage Coq vient du nom de l'un des développeurs, Thierry Coquand. La similitude du son du Coq et du Cock (coq anglais) a déjà été mise en valeur dans le projet : le langage utilisé pour décrire les structures s'appelle Gallina (poulet latin).
Source: opennet.ru