Dafny 4.0
Closed Oct 11, 2023
100% complete
Features and tasks that may need completion before releasing Dafny 4.0
This milestone is closed.
No open issues remain. View closed issues or see open milestones in this repository.