An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
zchn opened this issue 6 years ago · comments
https://github.com/GNSPS/solidity-bytes-utils/