L'insieme di strumenti per la dimostrazione dei teoremi Coq sta considerando la possibilità di cambiare nome. Motivo: per le persone di lingua inglese, le parole "coq" e "cock" (termine gergale per l'organo sessuale maschile) suonano simili, e alcune utenti donne hanno incontrato battute ambigue utilizzando il nome durante la conversazione. Il nome del linguaggio Coq deriva dal cognome di uno degli sviluppatori, Thierry Coquand. La somiglianza di suono tra Coq e Cock (che significa gallo in inglese) è già stata sfruttata nel progetto: il linguaggio utilizzato per descrivere le costruzioni è chiamato Gallina (lat. gallina).
Fonte: opennet.ru
