Hacker News new | ask | show | jobs
by conistonwater 4202 days ago
Was the naming intentional? Did they know the common English meaning of it?
1 comments
AndreasFrom 4202 days ago
They give an explanation here.

https://coq.inria.fr/faq?q=node/16&som=2#htoc4

link
conistonwater 4202 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