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 :)
显示更多
