method Main() { print "hello, Dafny\n"; assert 10 < 2; }
Ready.


Hi! I'm Daphne and I will try to help you verify your Dafny programs!
You can disable me with the checkbox in the bottom-left corner.
Click me to hide the last tip.