Francesco
@fradamt
@ethereum researcher @ethlabs_org, (still) dealing with wacky protocols with weird acronyms
Joined January 2021
1.2K Following 5.5K Followers
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.
Show more
