A library of mathematics and data structures for Lean.

The version for Lean 4 is called Mathlib4 (docs).