leanprover-community/mathlib4

**leanprover‑community/mathlib4** — это официальная математическая библиотека для языка доказательств Lean 4, содержащая более 3000 теорем и структурированных ф