Dafny 4.0.0 🎉 🎉 🎉 🎉
https://github.com/dafny-lang/dafny/releases/tag/v4.0.0

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

なにもかもが……

イラスト「健全です」
私「ふーむ？」
型システム「健全です」
私「ふーむ？」

このアカウントは、notestockで公開設定になっていません。