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 :)
더 보기
