-
lean4 Public
Forked from leanprover/lean4personal fork for working changes
Lean Apache License 2.0 UpdatedOct 10, 2025 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedJul 24, 2025