News for hackers. Stuff that matters.

A comment on The Case for Formal Verification (2013). Parent comment

Re:The Case for Formal Verification (2013) by dllthomas on Monday April 21, 2014 @03:44PM (#7623206)
coq is LGPL, apparently.
[ Parent | on HN ]

There are no comments on this comment yet.