Executable, Human Readable, Formal Semantics for the Ethereum Virtual Machine (jellopaper.org)

2 points by xwvvvvwx 7y ago ↗ HN

0 comments

[ 0.23 ms ] story [ 11.5 ms ] thread

No comments yet.