أداة إثبات النظرية Coq تفكر في تغيير اسمها. السبب: بالنسبة للناطقين باللغة الإنجليزية، تبدو الكلمتان "coq" و"cock" (كلمة عامية للعضو الجنسي الذكري) متشابهتين، وقد واجهت بعض المستخدمين الإناث نكات ذات معنى مزدوج عند استخدام الاسم في اللغة المنطوقة. يأتي اسم لغة Coq من اسم أحد المطورين، تييري كوكاند. لقد تم بالفعل إظهار التشابه بين صوت Coq وCock (الديك الإنجليزي) في المشروع: اللغة المستخدمة لوصف الهياكل تسمى Gallina (الدجاج اللاتيني).
المصدر: opennet.ru