Алатката за докажување теорема Coq размислува да го промени своето име

Алатката за докажување теорема Coq размислува да го промени своето име. Причина: За англофоните, зборовите „coq“ и „cock“ (жаргон за машкиот полов орган) звучат слично, а некои женски корисници наишле на двојни шеги кога го користат името во говорниот јазик. Самото име на јазикот Coq доаѓа од името на еден од развивачите, Тиери Кокуанд. Сличноста на звукот на Coq и Cock (англиски петел) е веќе отсвирена во проектот: јазикот што се користи за опишување на структурите се нарекува Галина (латинско пиле).

Извор: opennet.ru