hevm-ts symbolic evm1 in typescript work in progress port of hevm, but much shitter and for sure not for formal verification uses Footnotes Ethereum Virtual Machine ↩