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.