leanprover-community/mathlib4

**Brief Summary (2‑3 sentences)** `leanprover-community/mathlib4` is the core mathematical library for the Lean 4 proof assistant, providing a vast collection o