Geeks
ahmet-celik
/
pverdi
Verdi with annotated proof using.
Primary Language
Coq
BSD 2-Clause "Simplified" License
BSD-2-Clause
pverdi GitHub
Markdown
Readme
0
Issues
1
Stargazer
2
Watchers
Stargazers
kangli-bionic
Earth