Lean Community
Lean mathematical theories
#
The following document some theories spanning multiple files.
Sets and set-like objects
Category theory
Linear algebra
The natural numbers
Topological, uniform and metric spaces
Lean Community
Community
Zulip chat
GitHub
Blog
Community information
Teams
Papers about Lean
Projects using Lean
Events
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
Changelog
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
Suggest edits to this page on GitHub