NethermindEth / Yul-SpecificationView on GitHub
A formal specification of the Yul IR semantics in the Lean proof assistant.
14Jun 20, 2025Updated 8 months ago

Alternatives and similar repositories for Yul-Specification

Users that are interested in Yul-Specification are comparing it to the libraries listed below

Sorting:

Are these results useful?