A Lean 4 implementation of the Ethereum consensus specification for the Fulu, Gloas, Heze forks. https://nitter.cf/t.co/dtcHVcZemr
Joined June 2026
- Tweets1
- Following4
- Followers3
- Likes0
A Lean 4 implementation of the Ethereum consensus specification for the Fulu, Gloas, Heze forks. https://nitter.cf/t.co/dtcHVcZemr
