Theorem የሚያረጋግጥ መሳሪያ Coq ስሙን ለመቀየር እያሰበ ነው። ምክንያት፡ ለ Anglophones፡ "ኮክ" እና "ኮክ" የሚሉ ቃላት (የወንድ ጾታዊ አካልን የሚገልጹ ቃላት) ተመሳሳይ ድምጽ ይሰማቸዋል፣ እና አንዳንድ ሴት ተጠቃሚዎች በንግግር ቋንቋ ስሙን ሲጠቀሙ ድርብ ቀልዶች አጋጥሟቸዋል። የኮክ ቋንቋ ስም የመጣው ከገንቢዎቹ አንዱ ከሆነው Thierry Coquand ስም ነው። የኮክ እና ኮክ (የእንግሊዘኛ ዶሮ) ድምጽ ተመሳሳይነት ቀድሞውኑ በፕሮጀክቱ ውስጥ ተጫውቷል-አወቃቀሮችን ለመግለጽ የተጠቀመበት ቋንቋ ጋሊና (ላቲን ዶሮ) ይባላል.
ምንጭ: opennet.ru