https://github.com/zchn/eth-acl2

An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.

acl2 ethereum evm formal-methods formalization proofs verification

Last synced: 11 May 2025