News for hackers. Stuff that matters.

A comment on Coq: Certified Programming with Dependent Types. Parent comment

Re:Coq: Certified Programming with Dependent Types by davidgay on Friday July 10, 2015 @10:18AM (#9864060)
More like somewhere in between, really.
[ Parent | on HN ]

There are no comments on this comment yet.