Geeks
pirapira
/
evmverif
An EVM code verification framework in Coq
Primary Language
Coq
Apache License 2.0
Apache-2.0
evmverif GitHub
Markdown
Readme
6
Issues
44
Stargazers
12
Watchers
Watchers
chaoliu92
edudemy
Edudemy.org
eemailme
jhcloos
jorpic
Formal Methods
nsyee
Tokyo
nvmd
pirapira
Europe
rremizov
Astra Studio
TheGlider
WeiBai
UK
zjhmale