BuilderGraph

Repository · dormant

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 LispApache-2.0Ethereum
GitHub

Subscriber view

Unlock the full view of zchn/eth-acl2

  • Full repository, commit, and contributor breakdown
  • Peer graph and ecosystem links
  • Weekly trend deltas and pulse signal
  • API and CSV / JSON exports
SubscribeSign in

Already a subscriber? Sign in with the same email used at checkout.