zchn / eth-acl2

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/eth-acl2 Stargazers