etheoremEtheorem

A Lean 4 implementation of the Ethereum consensus specification for the Fulu, Gloas, Heze forks.
Displaying 1-3 of 3 packages depending on etheorem/Etheorem
Sort by

  1. etheorem/leanp2puses169cf71

  2. etheorem/leanp2puses169cf71

  3. etheorem/leanp2puses169cf71