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