evm-semantics

Makefile ★ 0 updated 8y ago ⑂ fork

K Semantics of the Ethereum Virtual Machine (EVM)

No plain-English explanation yet — one is being written right now. Check back in a minute.