Ke noʻonoʻo nei ʻo Theorem proving tool Coq e hoʻololi i kona inoa. Ke kumu: I ka poʻe Anglophones, ʻano like nā huaʻōlelo "coq" a me "cock" (slang no ke kino kāne) a ua loaʻa kekahi mau mea hoʻohana wahine i nā ʻōlelo hoʻohenehene ʻelua i ka wā e hoʻohana ai i ka inoa ma ka ʻōlelo ʻōlelo. ʻO ka inoa maoli o ka ʻōlelo Coq mai ka inoa o kekahi o nā mea hoʻomohala, ʻo Thierry Coquand. Ua hoʻokani mua ʻia ke ʻano like o ka leo o Coq a me Cock (English rooster) i ka papahana: ʻo ka ʻōlelo i hoʻohana ʻia e wehewehe i nā hale i kapa ʻia ʻo Gallina (Latin chicken).
Source: opennet.ru