Warning: This is the reference manual for Lean 3. Please see the new manual for Lean 4.

9. Libraries¶

9.1. The Standard Library¶

9.2. The Mathematics Library¶

9.3. Other Libraries¶

9.4. User-Maintained Libraries¶