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

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

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