- 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.
docs
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||