4 ms·Executable, Human Readable, Formal Semantics for the Ethereum Virtual Machine2 points by xwvvvvwx 8y ago