Το εργαλείο απόδειξης θεωρημάτων Coq σκέφτεται να αλλάξει το όνομά του. Αιτία: Για τους Αγγλόφωνους, οι λέξεις "coq" και "cock" (αργκό για το ανδρικό σεξουαλικό όργανο) ακούγονται παρόμοια, και ορισμένες γυναίκες χρήστες έχουν συναντήσει αστεία διπλής κατεύθυνσης όταν χρησιμοποιούν το όνομα στην προφορική γλώσσα. Το ίδιο το όνομα της γλώσσας Coq προέρχεται από το όνομα ενός από τους προγραμματιστές, του Thierry Coquand. Η ομοιότητα του ήχου του Coq και του Cock (Αγγλικός κόκορας) έχει ήδη παιχτεί στο έργο: η γλώσσα που χρησιμοποιείται για να περιγράψει τις δομές ονομάζεται Gallina (Λατινικό κοτόπουλο).
Πηγή: opennet.ru