← Back to context Comment by AndreasFrom 11 years ago They give an explanation here.https://coq.inria.fr/faq?q=node/16&som=2#htoc4 1 comment AndreasFrom Reply conistonwater 11 years 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.
conistonwater 11 years 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.
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.