4 ms·Dafny is a really cool find, thank you!by quixoticaxolotl 4y agoDafny is a really cool find, thank you!