evm-semantics

evm-semantics

https://github.com/runtimeverification/evm-semantics

Python506

3 months ago

Reviews

K Semantics of the Ethereum Virtual Machine (EVM)

Search similar apps

    License

    BSD 3-Clause "New" or "Revised" License

    Share

    K Semantics of the Ethereum Virtual Machine (EVM)

    Creator

    runtimeverification

    Related apps

    avm-semantics

    Python15bsd-3-clause

    3 months ago