సిద్ధాంతాన్ని నిరూపించే సాధనం Coq దాని పేరును మార్చడాన్ని పరిశీలిస్తోంది. కారణం: ఆంగ్లోఫోన్‌లకు, "కాక్" మరియు "కాక్" (పురుష లైంగిక అవయవానికి సంబంధించిన యాస) అనే పదాలు ఒకే విధంగా ఉంటాయి మరియు కొంతమంది మహిళా వినియోగదారులు మాట్లాడే భాషలో పేరును ఉపయోగిస్తున్నప్పుడు ద్విపద జోక్‌లను ఎదుర్కొన్నారు. Coq భాష యొక్క చాలా పేరు డెవలపర్లలో ఒకరైన థియరీ కోక్వాండ్ పేరు నుండి వచ్చింది. కాక్ మరియు కాక్ (ఇంగ్లీష్ రూస్టర్) శబ్దం యొక్క సారూప్యత ఇప్పటికే ప్రాజెక్ట్‌లో ప్లే చేయబడింది: నిర్మాణాలను వివరించడానికి ఉపయోగించే భాషను గల్లినా (లాటిన్ చికెన్) అంటారు.
మూలం: opennet.ru