NethermindEth / Yul-SpecificationLinks

A formal specification of the Yul IR semantics in the Lean proof assistant.
14Updated 3 years ago

Alternatives and similar repositories for Yul-Specification

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

Sorting: