Etheorem (@etheorem_org) header
Etheorem (@etheorem_org) profile picture

Etheorem

@etheorem_org

A Lean 4 implementation of the Ethereum consensus specification for the Fulu, Gloas, Heze forks. https://nitter.gq/t.co/dtcHVcZemr

Joined June 2026
  • Tweets1
  • Following4
  • Followers3
Etheorem featured at Devcon opening ceremony!! Thanks @dhsorens
Image from Etheorem (@etheorem_org)
1
1
30
Load more