-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedNov 4, 2025 -
-
displayed_categories Public
Forked from sinhp/displayed_categoriesA Lean 4 formalization of Displayed Categories
Lean UpdatedMay 1, 2025 -
-