News for hackers. Stuff that matters.

A comment on Software Foundations. Parent comment

Re:Software Foundations by takeoutweight on Saturday May 31, 2014 @02:31AM (#7825428)
Have you looked at Adam Chlipala's Certified Programming with Dependent Types book? It uses Coq and Proof General. There's an online version: http://adam.chlipala.net/cpdt/
[ Parent | on HN ]

There are no comments on this comment yet.