Libraries useful for Dafny programs
Stars
49
Forks
27
Watchers
49
Open Issues
59
Overall repository health assessment
No package.json found
This might not be a Node.js project
57
commits
24
commits
15
commits
10
commits
7
commits
7
commits
5
commits
4
commits
4
commits
3
commits
chore: change FileIO to deal in uint8 rather than bv8 (#166)
418de0cView on GitHubChore: Proofs not depending on leaks of opaque + brittleness reduction (#149)
ae8708cView on GitHubfix: deprecated style: a semi-colon is not needed here (#143)
8b0c399View on GitHub