← Back to context Comment by conistonwater 11 years ago Was the naming intentional? Did they know the common English meaning of it? 2 comments conistonwater Reply AndreasFrom 11 years ago They give an explanation here.https://coq.inria.fr/faq?q=node/16&som=2#htoc4 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.
AndreasFrom 11 years ago They give an explanation here.https://coq.inria.fr/faq?q=node/16&som=2#htoc4 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.
They give an explanation here.
https://coq.inria.fr/faq?q=node/16&som=2#htoc4
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.