Back to search
Top Contributors
63
commits
A tool for deductive verification of Python programs based on Dafny
Stars
30
Forks
1
Watchers
30
Open Issues
3
Overall repository health assessment
No package.json found
This might not be a Node.js project
63
commits