Thomas Coratger
@tcoratger
Research at Ethereum Foundation
Joined August 2014
2.3K Following 4K Followers
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!
Show more
