Re:A blog engine written and proven in Coq
by djcoin on Thursday February 12, 2015 @08:26AM
(#9038660)
Coq means rooster (US or cock/cockerel in the UK) and is a symbol of France maybe this has something to do w/ it.
[ Parent
| on HN ]
Re:A blog engine written and proven in Coq
by eli_gottlieb on Thursday February 12, 2015 @08:53AM
(#9038735)
Also, after "Calculus of Constructions" being shortened to "CoC", and then punned with its inventor's name "Coquand".