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

This account is not set to public on notestock.

This account is not set to public on notestock.

なにもかもが……

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