ابزار اثبات قضیه Coq در حال بررسی تغییر نام خود است. دلیل: از نظر انگلیسی‌ها، کلمات "coq" و "cock" (عامیانه اندام جنسی مردانه) شبیه به هم هستند و برخی از کاربران زن هنگام استفاده از این نام در زبان گفتاری با شوخی‌های دو طرفه مواجه شده‌اند. نام زبان Coq از نام یکی از توسعه دهندگان، Thierry Coquand گرفته شده است. شباهت صدای Coq و Cock (خروس انگلیسی) قبلاً در پروژه پخش شده است: زبان مورد استفاده برای توصیف ساختارها Gallina (مرغ لاتین) نام دارد.
منبع: opennet.ru