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!
もっと見る
