Geeks
hbgit
/
depthk
K-Induction adopting program invariants
Primary Language
Python
GNU General Public License v2.0
GPL-2.0
depthk GitHub
Markdown
Readme
4
Issues
8
Stargazers
3
Watchers
Stargazers
ericksonalves
SIDIA
Gy-Hu
The Hong Kong University of Science and Technology
izycheva
TU Wien
jblaszczyk
Midnight Coding
jeanpuga
joinize
Jmm233
Kraks
INRIA/ENS; Tufts
rainoftime