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