runtimeverification/evm-semanticsJanuary 13, 2019 - 6:27pm← January 12th, 12:24pmJanuary 13th, 11:00pm →⭐️ runtimeverification/evm-semantics K Semantics of the Ethereum Virtual Machine (EVM)LINK: https://github.com/runtimeverification/evm-semantics