သီအိုရီသက်သေပြကိရိယာ Coq သည် ၎င်း၏အမည်ကို ပြောင်းလဲရန် စဉ်းစားနေသည်။ အကြောင်းပြချက်- Anglophones အတွက်၊ "coq" နှင့် "cock" (အမျိုးသားလိင်အင်္ဂါအတွက် ဗန်းစကား) တို့သည် အသံဆင်တူပြီး အချို့သော အမျိုးသမီးအသုံးပြုသူများသည် စကားပြောဘာသာစကားဖြင့် အမည်ကိုအသုံးပြုသည့်အခါ နှစ်ထပ်ကိန်း ဟာသများကို ကြုံတွေ့ခဲ့ရသည်။ Coq ဘာသာစကား၏အမည်သည် developer တစ်ဦးဖြစ်သည့် Thierry Coquand မှဆင်းသက်လာသည်။ Coq နှင့် Cock (အင်္ဂလိပ်ကြက်ဖ) တို့၏ အသံ၏ တူညီမှုကို ပရောဂျက်တွင် ထည့်သွင်းထားပြီးဖြစ်သည်- ဖွဲ့စည်းပုံများကို ဖော်ပြရန် အသုံးပြုသော ဘာသာစကားကို Gallina (လက်တင်ကြက်) ဟုခေါ်သည်။
source: opennet.ru