Geeks
ericpony
/
dafny-for-pregel
Dafny proofs for some Spark Pregel algorithms
Primary Language
Python
dafny-for-pregel GitHub
Markdown
Readme
0
Issues
2
Stargazers
2
Watchers
This repository is not active