Mjeti për prova teoremash Coq shqyrton mundësinë e ndryshimit të emrit. Arsyetimi: për anglishtfolësit, fjalët "coq" dhe "cock" (termi slang për organin seksual mashkullor) tingullojnë ngjashëm, dhe disa përdoruese gra përballen me shaka dykuptimëshe gjatë përdorimit të emrit në të folur. Emri i gjuhës Coq vetë është origjina nga mbiemri i një prej zhvilluesve, Thierry Coquand. Ngjashmëria në tingull e Coq dhe Cock (angl. pula) është luajtur edhe në projekt: gjuha e përdorur për përshkrimin e strukturave quhet Gallina (lat. pula).
Burimi: opennet.ru
