method Main() { print "hello, Dafny\n"; assert 10 < 2; }
Run Dafny
Ready.
Enable Daphne.
Highlight syntax.
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.