प्रमेय सिद्ध करने वाला उपकरण Coq अपना नाम बदलने पर विचार कर रहा है

प्रमेय सिद्ध करने वाला उपकरण Coq अपना नाम बदलने पर विचार कर रहा है। कारण: एंग्लोफोन्स के लिए, शब्द "कॉक" और "कॉक" (पुरुष यौन अंग के लिए कठबोली भाषा) समान लगते हैं, और कुछ महिला उपयोगकर्ताओं को मौखिक भाषा में नाम का उपयोग करते समय दोहरे अर्थ वाले चुटकुलों का सामना करना पड़ा है। Coq भाषा का नाम ही डेवलपर्स में से एक, थिएरी कोक्वांड के नाम से आया है। कॉक और कॉक (अंग्रेजी मुर्गा) की ध्वनि की समानता को पहले ही परियोजना में दिखाया जा चुका है: संरचनाओं का वर्णन करने के लिए इस्तेमाल की जाने वाली भाषा को गैलिना (लैटिन चिकन) कहा जाता है।

स्रोत: opennet.ru