Lean Community
Mathlib statistics
Counts
Definitions
Theorems
Contributors
32174
77618
221
Code growth
Temporal distribution
Authors
Lean Community
Community
Zulip chat
GitHub
Blog
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
Glossary
Tips and tricks
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