Инструментарият за доказване на теореми Coq разглежда възможността за смяна на името

Инструмент за доказване на теореми Coq проучва възможността за смяна на името. Причината: за англоговорящите думите "coq" и "cock" (сленгово наименование на мъжкия полов орган) звучат сходно, и някои жени-потребители са се сблъсквали с двусмислени шеги при използването на името в устната реч. Самото наименование на езика Coq произлиза от фамилията на един от разработчиците, Тиери Кокан. Сходството в звученето между Coq и Cock (англ. петух) вече е било използвано в проекта: езикът, използван за описание на конструкции, се нарича Gallina (лат. курица).

Източник: opennet.ru