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