ethereum/EthLib
Formally verified Ethereum primitives, written in Lean.
Lean
Stars
98
Forks
28
License
CC0-1.0
Open Issues
113
Updated
21h ago
No README available
Statistics
- Stars
- 98
- Forks
- 28
- Open Issues
- 113
- Created
- Aug 26, 2024
- Updated
- Nov 12, 2026