I am currently playing around with Dafny and it is very promising. I have use it to generate proven correct high-performance C# code without too much efforts. I

I am currently playing around with Dafny and it is very promising. I have use it to generate proven correct high-performance C# code without too much efforts. It’s great fun actually. Like a really cool puzzle game.