Formalize fork-choice algorithm and state transition function in Lean4

April 10, 2026 · #272
View on GitHub
Rust Difficulty: Medium

Parent Repository

lambdaclass/ethlambda

Rust repository

73 17
All Issues Back to ethlambda

Sign in required

Authenticate to use favourites & bookmarks

5