Haben Sie Kommentare zu Dafny?
3 + 4 =