Solidus fork of NethermindEth/EVMYulLean (pinned EVM/Yul semantics for the verified compiler) - View it on GitHub