LINUX.ORG.RU

История изменений

Исправление hateyoufeel, (текущая версия) :

По ссылке никакие причины переименования не указаны.

Они указаны вот тут: https://github.com/coq/coq/wiki/Alternative-names

The name Coq comes from the French word for rooster, CoC (the Calculus of Constructions) and Thierry Coquand, one of the initial authors of Coq. But it is also close to the word «cock» which has a slang meaning that some English speakers consider offensive (it also means a male bird or the firing lever in a gun). This similarity has already led to some women turning away from Coq and others getting harassed when they said they were working on Coq. It also makes some English conversations about Coq with lay persons simply more difficult.

Исходная версия hateyoufeel, :

По ссылке никакие причины переименования не указаны.

Они указаны вот тут: https://github.com/coq/coq/wiki/Alternative-names