Hacker News new | ask | show | jobs
by quixoticaxolotl 1483 days ago
Dafny is a really cool find, thank you!