K Semantics of the Ethereum Virtual Machine (EVM)
Why do you think that https://github.com/runtimeverification/avm-semantics is a good alternative to evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
Why do you think that https://github.com/runtimeverification/avm-semantics is a good alternative to evm-semantics