/abstEVM

Ethereum Formal Semantics for Gas Consumption Analysis

Primary LanguageIsabelle

No issues in this repository yet.