3 ms·
Coq means rooster (US or cock/cockerel in the UK) and is a symbol of France maybe this has something to do w/ it.
by djcoin 12y ago
Coq means rooster (US or cock/cockerel in the UK) and is a symbol of France maybe this has something to do w/ it.
- eli_gottlieb 12y agoAlso, after "Calculus of Constructions" being shortened to "CoC", and then punned with its inventor's name "Coquand".