Das Theorembeweistool Coq erwägt eine Namensänderung. Grund: Für Anglophone klingen die Wörter „coq“ und „cock“ (umgangssprachlich für das männliche Geschlechtsorgan) ähnlich, und einige weibliche Benutzer sind bei der Verwendung des Namens in der gesprochenen Sprache auf doppeldeutige Witze gestoßen. Der Name der Coq-Sprache stammt vom Namen eines der Entwickler, Thierry Coquand. Die Klangähnlichkeit von Coq und Cock (englischer Hahn) wurde im Projekt bereits thematisiert: Die zur Beschreibung der Strukturen verwendete Sprache heißt Gallina (lateinisch Huhn).
Source: opennet.ru