New
Dafny nightly-2026-02-08-58b3f6a
This is an automatically published nightly release. This release may not be as stable as versioned releases and does not contain release notes.
Unclaimed project
Are you a maintainer of dafny? Claim this project to take control of your public changelog and roadmap.
Changelog
Dafny is a verification-aware programming language
This is an automatically published nightly release. This release may not be as stable as versioned releases and does not contain release notes.