Coq ප්‍රමේයය ඔප්පු කිරීමේ මෙවලම එහි නම වෙනස් කිරීමට සලකා බලයි. හේතුව: Anglophones සඳහා, "coq" සහ "cock" යන වචන (පිරිමි ලිංගික ඉන්ද්‍රිය සඳහා ස්ලැන්ග්) සමාන වන අතර, සමහර ගැහැණු පරිශීලකයන් කථන භාෂාවෙන් නම භාවිතා කරන විට ද්විත්ව විහිලුවලට මුහුණ දී ඇත. Coq භාෂාවේ නමම පැමිණෙන්නේ සංවර්ධකයෙකු වන Thierry Coquand ගේ නමෙනි. Coq සහ Cock (ඉංග්‍රීසි කුකුළා) ශබ්දයේ සමානකම දැනටමත් ව්‍යාපෘතියේ දක්වා ඇත: ව්‍යුහයන් විස්තර කිරීමට භාවිතා කරන භාෂාව Gallina (ලතින් චිකන්) ලෙස හැඳින්වේ.
මූලාශ්රය: opennet.ru