Teorembevisverktyget Coq överväger att byta namn. Orsak: För anglofoner låter orden "coq" och "cock" (slang för det manliga könsorganet) liknande, och vissa kvinnliga användare har stött på dubbla skämt när de använder namnet i talat språk. Själva namnet på Coq-språket kommer från namnet på en av utvecklarna, Thierry Coquand. Likheten mellan ljudet av Coq och Cock (engelsk tupp) har redan spelats upp i projektet: språket som används för att beskriva strukturerna kallas Gallina (latinsk kyckling).
Källa: opennet.ru