Thomas Coratger
@tcoratger
Research at Ethereum Foundation
Joined August 2014
2.3K Following 3.9K Followers
We just merged Lean4 implementation of SSZ!
Still a huge amount to iterate on, especially making the Astra-generated proofs more human-readable.
But Lean/Python cross-testing in CI has already caught a few subtle bugs in the Python spec :)
Show more
