Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
