Geeks
tianhan0
/
descartes
descartes: the cartesian hoare logic prover
Primary Language
Java
descartes GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
No issues in this repository yet.