Lo strumento per la dimostrazione di teoremi Coq sta valutando la possibilità di cambiare nome. Motivo: per gli anglofoni, le parole "coq" e "cock" (slang per l'organo sessuale maschile) suonano simili e alcune donne hanno riscontrato battute dal doppio senso quando usano il nome nella lingua parlata. Il nome stesso del linguaggio Coq deriva dal nome di uno degli sviluppatori, Thierry Coquand. La somiglianza del suono di Coq e Cock (gallo inglese) è già stata messa in risalto nel progetto: la lingua utilizzata per descrivere le strutture si chiama Gallina (pollo latino).
Fonte: opennet.ru