Back to search
Exercises for the Dafny Tutorial
Stars
14
Forks
8
Watchers
14
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
12
commits
Add another post-condition to make sure the max element is in the array so that initializing max := 0 does not verify in contrast
c0677d9View on GitHub