כלי הוכחת המשפט Coq שוקל לשנות את שמו

כלי הוכחת המשפט Coq שוקל לשנות את שמו. סיבה: עבור האנגלופונים המילים "קוק" ו"קוק" (סלנג לאיבר המיני הגברי) נשמעות דומות, וכמה משתמשות נתקלו בבדיחות כפולות בעת שימוש בשם בשפה מדוברת. עצם שמה של שפת Coq מגיע משמו של אחד המפתחים, Thierry Coquand. הדמיון של הצליל של Coq ו-Cock (תרנגול אנגלי) כבר הושמע בפרויקט: השפה המשמשת לתיאור המבנים נקראת Gallina (עוף בלטינית).

מקור: OpenNet.ru