પ્રમેય સાબિત કરતું સાધન Coq તેનું નામ બદલવાનું વિચારી રહ્યું છે

પ્રમેય સાબિત કરતું સાધન Coq તેનું નામ બદલવાનું વિચારી રહ્યું છે. કારણ: એંગ્લોફોન્સ માટે, શબ્દો "કોક" અને "કોક" (પુરુષ જાતીય અંગ માટે અશિષ્ટ) સમાન લાગે છે, અને કેટલીક સ્ત્રી વપરાશકર્તાઓને બોલાતી ભાષામાં નામનો ઉપયોગ કરતી વખતે બેવડા જોક્સનો સામનો કરવો પડ્યો છે. કોક ભાષાનું ખૂબ જ નામ વિકાસકર્તાઓમાંના એક થિએરી કોક્વન્ડના નામ પરથી આવ્યું છે. કોક અને કોક (અંગ્રેજી રુસ્ટર) ના અવાજની સમાનતા પ્રોજેક્ટમાં પહેલેથી જ વગાડવામાં આવી છે: રચનાઓનું વર્ણન કરવા માટે વપરાતી ભાષાને ગેલિના (લેટિન ચિકન) કહેવામાં આવે છે.

સોર્સ: opennet.ru