zchn/eth-acl2

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

Common LispStars 3Forks 3Watchers 3Open issues 13License Apache License 2.0

Details

仓库信息

Ownerzchn

Homepage—

Last pushed2022-08-12

Last updated2025-12-15

Issues fetched at—

Community at a glance