Formal semantics of the yul language - View it on GitHub