Lean Community
Mathlib statistics
Counts
Definitions
Theorems
Contributors
24543
54243
164
Code growth
Temporal distribution
Authors
Lean Community
Community
Zulip chat
GitHub
Community information
Papers about Lean
Projects using Lean
Installation
Get started
Debian/Ubuntu installation
Generic Linux installation
MacOS installation
Windows installation
Online version (no installation)
Using leanproject
The Lean toolchain
Documentation
Learning resources (start here)
API documentation
Calc mode
Conv mode
Simplifier
Tactic writing tutorial
Well-founded recursion
About MWEs
Library overviews
Library overview
Undergraduate maths
Wiedijk's 100 theorems
Theory docs
Category theory
Linear algebra
Natural numbers
Sets and set-like objects
Topology
Contributing
Pull request lifecycle
Naming conventions
Code style guideline
Documentation style
CI for 3rd party projects
Contribution statistics