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
Vote on features you'd like to see
No planned items yet
Nothing in progress
No completed items yet