Lean standard library
Besides Lean's general documentation, the documentation of mathlib consists of:
- a description of currently covered theories
- an explanation of naming conventions that is useful to find or contribute definitions and lemmas
- a description of tactics introduced in mathlib
- a style guide for contributors
- a tentative list of work in progress to make sure efforts are not duplicated without collaboration
- a guide on installing Lean and mathlib with elan.
This repository also contains extra Lean documentation not specific to mathlib.