Geeks
ggrov
/
tacny
Tactics for the Dafny program verifier
Primary Language
C#
tacny GitHub
Markdown
Readme
48
Issues
3
Stargazers
4
Watchers
Stargazers
dcgithub
None
Tapanito
Ripple
veriatl