Francesco
@fradamt
@ethereum researcher @ethlabs_org, (still) dealing with wacky protocols with weird acronyms
가입 January 2021
1.2K 팔로잉 중 5.5K 팬
You just know this is the beginning of something special
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.
더 보기
