Das Coq-Theorem-Proof-Tool evaluiert die Möglichkeit einer Namensänderung. Grund: Für englischsprachige Personen klingen die Wörter „coq“ und „cock“ (umgangssprachlicher Begriff für das männliche Geschlechtsorgan) ähnlich, und einige weibliche Nutzer haben beim Aussprechen des Namens mit zweideutigen Witzen zu kämpfen gehabt. Der Name der Sprache Coq stammt von dem Nachnamen eines der Entwickler, Thierry Coquand. Die Klangähnlichkeit von Coq und Cock (engl. Hahn) wurde bereits im Projekt aufgegriffen: Die Sprache, die zur Beschreibung von Konstruktionen verwendet wird, heißt Gallina (lat. Huhn).
Quelle: opennet.ru
