定理證明工具 Coq 正在考慮更改名稱

定理證明工具 Coq 正在考慮更改名稱。原因：對於英語國家來說，「coq」和「cock」（男性性器官的俚語）聽起來很相似，一些女性用戶在口語中使用這個名字時遇到了雙關語的笑話。 Coq 語言的名稱來自開發人員之一 Thierry Coquand 的名字。 Coq 和 Cock（英國公雞）聲音的相似性已經在該專案中得到了強調：用於描述結構的語言稱為 Gallina（拉丁雞）。

來源： opennet.ru