9 ms·
They give an explanation here. https://coq.inria.fr/faq?q=node/16&som=2#htoc4 https://coq.inria.fr/faq?q=node/16&som=2#htoc4
by AndreasFrom 12y ago
They give an explanation here.
https://coq.inria.fr/faq?q=node/16&som=2#htoc4 https://coq.inria.fr/faq?q=node/16&som=2#htoc4
- conistonwater 12y agoReasonable 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.