Stellingbewijstool Coq overweegt zijn naam te veranderen. Reden: Voor Engelstaligen klinken de woorden 'coq' en 'cock' (jargon voor het mannelijke geslachtsorgaan) hetzelfde, en sommige vrouwelijke gebruikers zijn dubbelzinnige grappen tegengekomen bij het gebruik van de naam in gesproken taal. De naam van de Coq-taal komt van de naam van een van de ontwikkelaars, Thierry Coquand. De gelijkenis van het geluid van Coq en Cock (Engelse haan) is al in het project naar voren gekomen: de taal die wordt gebruikt om de structuren te beschrijven heet Gallina (Latijnse kip).
Bron: opennet.ru