News for hackers. Stuff that matters.

A comment on Dafny – A programming language with a program verifier. Parent comment

Re:Dafny – A programming language with a program verifier by mrefj on Tuesday January 24, 2017 @08:04AM (#13470967)
ACL2 http://www.cs.utexas.edu/~moore/acl2/
[ Parent | on HN ]

There are no comments on this comment yet.