Thomas Coratger(@tcoratger):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.

Thomas Coratger

@tcoratger

Research at Ethereum Foundation

Joined August 2014

2.3K Following 4K Followers

Thomas Coratger@tcoratger

2026.10.25 16:36

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.

307

Forward to community

Most Popular Users

1M Followers

957.9K Followers

1.1M Followers

579.1K Followers

504.3K Followers

6.3M Followers

347.5K Followers

2.8M Followers

672.2K Followers

4.3M Followers

The Wall Street Journal

22.3M Followers

1.2M Followers

26.5M Followers

2.7M Followers

2M Followers