-
-
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedJun 24, 2025 -
-
-
SymmetricFunction Public
all the codes and math that has to do with symmetric functions :)
Jupyter Notebook UpdatedJan 10, 2025 -
-
-