Etheorem

@etheorem_org

A Lean 4 implementation of the Ethereum consensus specification for the Fulu, Gloas, Heze forks. github.com/etheorem/etheo…