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!
더 보기
