README.md

mathlib docs

• The tutorial/ directory contains a few tutorials written in Lean.
• .bib file for references in mathlib
• Notes on bors
• Code review template (currently unused)

All other pages here have moved to the leanprover-community website.