/Yul-Specification

A formal specification of the Yul IR semantics in the Lean proof assistant.

Primary LanguageLeanApache License 2.0Apache-2.0

This repository is not active