Thomas Coratger
@tcoratger
Research at Ethereum Foundation
가입 August 2014
2.3K 팔로잉 중 4K 팬
This weekend we launched EthLib, a Lean4 library for Ethereum!
The goal is to bring Ethereum's primitives, specifications and theorems into one place, building a shared foundation for formally specifying and proving things about Ethereum.
더 보기
