تھیوریم ثابت کرنے والا ٹول Coq اپنا نام تبدیل کرنے پر غور کر رہا ہے۔ وجہ: اینگلوفونز کے لیے، الفاظ "coq" اور "cock" (مرد کے جنسی عضو کے لیے بول چال) ایک جیسے لگتے ہیں، اور کچھ خواتین صارفین کو بولی جانے والی زبان میں نام کا استعمال کرتے ہوئے دوہرے مذاق کا سامنا کرنا پڑا ہے۔ Coq زبان کا بالکل نام ایک ڈویلپر، تھیری کوکوانڈ کے نام سے آیا ہے۔ Coq اور Cock (انگریزی مرغ) کی آواز کی مماثلت پہلے ہی پروجیکٹ میں چلائی جا چکی ہے: ڈھانچے کو بیان کرنے کے لیے استعمال ہونے والی زبان گیلینا (لاطینی چکن) کہلاتی ہے۔
ماخذ: opennet.ru