News for hackers. Stuff that matters.

A comment on A blog engine written and proven in Coq. Parent comment

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".
[ Parent | on HN ]

There are no comments on this comment yet.