runtimeverification/evm-semantics

K Semantics of the Ethereum Virtual Machine (EVM)

PythonStars 549Forks 152Watchers 549Open issues 85License BSD 3-Clause "New" or "Revised" License

Details

仓库信息

Ownerruntimeverification

Homepage—

Last pushed2025-12-14

Last updated2025-12-15

Issues fetched at—

Community at a glance