Coq teorema frogatzeko tresna bere izena aldatzea aztertzen ari da. Arrazoia: anglofonoentzat, "coq" eta "cock" hitzek (argotaren sexu-organoaren lengoaia) antzekoak dirudite, eta emakume erabiltzaile batzuek zentzu bikoitzeko txantxak topatu dituzte izena ahozko hizkuntzan erabiltzean. Coq hizkuntzaren izena bera garatzaileetako baten izenetik dator, Thierry Coquand. Coq eta Oilarra (ingelesezko oilarra) soinuaren antzekotasuna antzeztu da jada proiektuan: egiturak deskribatzeko erabiltzen den hizkuntzari Gallina (oilo latindarra) deitzen zaio.
Iturria: opennet.ru