Thomas Coratger
@tcoratger
Research at Ethereum Foundation
加入 August 2014
2.3K 正在關注 4K 粉絲
Mission 2028 puts formal verification at its core!
EthLib is a central part of this effort, and we've already made tremendous progress.
We need more eyes, more contributors, and more agents to help push this massive effort forward!
顯示更多
