Hacker News new | ask | show | jobs
by AndreasFrom 4197 days ago
They give an explanation here.

https://coq.inria.fr/faq?q=node/16&som=2#htoc4
1 comments
conistonwater 4197 days ago
Reasonable people might disagree, but I think that what they say there doesn't answer the question at all. Cock means rooster in English too, after all, but somehow the name doesn't get used.
link