9. Libraries
¶
9.1. The Standard Library
¶
9.2. The Mathematics Library
¶
9.3. Other Libraries
¶
9.4. User-Maintained Libraries
¶
The Lean Reference Manual
1. Using Lean
2. Lexical Structure
3. Expressions
4. Declarations
5. Other Commands
6. Tactics
7. Programming
8. Metaprogramming
9. Libraries
9.1. The Standard Library
9.2. The Mathematics Library
9.3. Other Libraries
9.4. User-Maintained Libraries
PDF version
Lean Home
Quick search