เครื่องมือพิสูจน์ทฤษฎีบท Coq กำลังพิจารณาเปลี่ยนชื่อ เหตุผล: สำหรับชาวแองโกลโฟน คำว่า "coq" และ "cock" (คำสแลงสำหรับอวัยวะเพศชาย) ฟังดูคล้ายกัน และผู้ใช้ที่เป็นผู้หญิงบางคนมักเจอเรื่องตลกที่พูดซ้ำซ้อนเมื่อใช้ชื่อในภาษาพูด ชื่อภาษา Coq มาจากชื่อของ Thierry Coquand หนึ่งในนักพัฒนา ความคล้ายคลึงกันของเสียง Coq และ Cock (ไก่อังกฤษ) ได้รับการเล่นแล้วในโปรเจ็กต์นี้: ภาษาที่ใช้อธิบายโครงสร้างเรียกว่า Gallina (ไก่ละติน)
ที่มา: opennet.ru