—
leanprover-community/mathlib4
The math library of Lean 4
Apache-2.0Jul 16, 2026 · metrics 1.13.0
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.