dafny-lang / dafny

Dafny is a verification-aware programming language
2,924Updated this week

Related projects

Alternatives and complementary repositories for dafny