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 tomp on Friday January 20, 2017 @06:49AM (#13443134)
One of the most serious competitors is F* - it's even based on the same underlying technology (Z3) but uses a more ML-like syntax.

https://fstar-lang.org/

[ Parent | on HN ]
Re:Dafny – A programming language with a program verifier by didibus on Saturday January 21, 2017 @03:52AM (#13449412)
F* looks pretty neat. I might try to learn that one.
[ Parent | on HN ]