Chombo cha kuthibitisha cha Theorem Coq kinazingatia kubadilisha jina lake. Sababu: Kwa Anglophones, maneno "coq" na "jogoo" (misimu ya kiungo cha kijinsia ya kiume) yanasikika sawa, na baadhi ya watumiaji wa kike wamekumbana na vicheshi vya maneno mawili wakati wa kutumia jina katika lugha ya mazungumzo. Jina lenyewe la lugha ya Coq linatokana na jina la mmoja wa watengenezaji, Thierry Coquand. Kufanana kwa sauti ya Coq na Cock (jogoo wa Kiingereza) tayari imechezwa katika mradi huo: lugha inayotumiwa kuelezea miundo inaitwa Gallina (kuku ya Kilatini).
Chanzo: opennet.ru