Executable, Human Readable, Formal Semantics for the Ethereum Virtual Machinejellopaper.org2 points·xwvvvvwx··0 commentsOpen articleSaveView on HN