Nástroj na dokazovanie teorémov Coq zvažuje zmenu svojho názvu. Dôvod: Pre anglofónov slová „coq“ a „cock“ (slang pre mužský pohlavný orgán) znejú podobne a niektoré používateľky sa pri používaní tohto mena v hovorenej reči stretli s dvojakými vtipmi. Samotný názov jazyka Coq pochádza z mena jedného z vývojárov Thierryho Coquanda. Podobnosť zvuku Coq a Cock (anglický kohút) sa už v projekte prejavila: jazyk používaný na opis štruktúr sa nazýva Gallina (latinské kura).
Zdroj: opennet.ru