Інструментарій для підтвердження теорем Coq розглядає можливість зміни назви. Причина: для англофонів слова coq і cock (сленгова назва чоловічого статевого органу) звучать схоже, і деякі користувачі-жінки, що стикалися з двозначними жартами при використанні назви в усній мові. Сама ж назва мови Coq походить від прізвища одного з розробників, Thierry Coquand. Подібність звучання Coq і Cock (англ. півень) вже обігрувалося в проекті: мова, яка використовується для опису конструкцій, називається Gallina (лат. курка).
Джерело: opennet.ru