Thomas Coratger
@tcoratger
Research at Ethereum Foundation
参加 August 2014
2.3K フォロー中 3.9K ファン
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 :)
もっと見る
