Lean Community
Try it!
Lean online
Install
Learn
Resources
Theorem proving in Lean
The natural number game
Library overview
API documentation
Community
Meet us
Zulip chat
Maintainers
How to contribute
Papers
Mathlib statistics
Code growth
Temporal distribution
Authors