Lean Community
Mathlib statistics
Counts
Definitions
Theorems
Contributors
80439
153924
310
Code growth
Temporal distribution
Lean Community
Community
Zulip chat
GitHub
Blog
Community information
Teams
Papers about Lean
Projects using Lean
Teaching using Lean
Events
Installation
Get started
Debian/Ubuntu installation
Generic Linux installation
MacOS installation
Windows installation
Online version (no installation)
Using Lake (build system)
Documentation
Learning resources (start here)
API documentation
Calc mode
Conv mode
Simplifier
Well-founded recursion
About MWEs
Glossary
Library overviews
Library overview
Undergraduate maths
Wiedijk's 100 theorems
Contributing
Pull request lifecycle
Naming conventions
Code style guideline
Documentation style
Commit conventions
Pull request review guide
Contribution statistics
Tags and branches