Teoremani isbotlash vositasi Coq o'z nomini o'zgartirishni ko'rib chiqmoqda. Sababi: Anglofonlar uchun "coq" va "xo'roz" (erkak jinsiy a'zosi uchun jarang) so'zlari o'xshash eshitiladi va ba'zi ayol foydalanuvchilar ismni og'zaki tilda ishlatishda ikki tomonlama hazillarga duch kelishadi. Coq tilining nomi ishlab chiquvchilardan biri Thierry Coquand nomidan kelib chiqqan. Coq va Cock (inglizcha xo'roz) ovozining o'xshashligi loyihada allaqachon o'ynalgan: tuzilmalarni tasvirlash uchun ishlatiladigan til Gallina (Lotin tovuqi) deb ataladi.
Manba: opennet.ru