News for hackers. Stuff that matters.

A comment on Dafny: verification-aware programming language.

Re:Dafny: verification-aware programming language by bluetonium on Sunday September 30, 2018 @09:16AM (#18106050)
Good answer to "What's the difference between LEAN, F* and Dafny?" https://stackoverflow.com/questions/46010923/whats-the-diffe...
[ Parent | on HN ]
Re:Dafny: verification-aware programming language by Boulth on Sunday September 30, 2018 @10:13AM (#18106229)
Excellent comment as the first thing I thought after seeing the submission was exactly "how does it compare to f* and lean"?

Thank you!

[ Parent | on HN ]