정리 증명 도구 Coq은 이름 변경을 고려하고 있습니다. 이유: 영어권 사용자에게는 "coq"와 "cock"(남성 성기를 뜻하는 속어)이라는 단어가 비슷하게 들리며, 일부 여성 사용자는 해당 이름을 구어에서 사용할 때 이중 농담을 접한 적이 있습니다. Coq 언어의 이름은 개발자 중 한 명인 Thierry Coquand의 이름에서 유래되었습니다. Coq과 Cock(영국 수탉) 소리의 유사성은 이미 프로젝트에서 나타났습니다. 구조를 설명하는 데 사용된 언어는 Gallina(라틴 닭)라고 합니다.
출처 : opennet.ru