Теореманы дәлелдейтін құрал Coq оның атын өзгертуді қарастыруда. Себеп: Ағылшын тіліне «coq» және «cock» (еркектердің жыныстық органы үшін жаргон) сөздері ұқсас естіледі және кейбір әйел пайдаланушылар атауды ауызекі тілде қолданғанда екі жақты әзілдерге тап болды. Coq тілінің атауының өзі әзірлеушілердің бірі Тьерри Кокандтың атынан шыққан. Coq және Cock (ағылшын әтеш) дыбысының ұқсастығы жобада бұрыннан айтылып кеткен: құрылымдарды сипаттау үшін қолданылатын тіл Галлина (латын тауық) деп аталады.
Ақпарат көзі: opennet.ru