-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedOct 14, 2025 -
-
Simons2025 Public
Forked from hrmacbeth/Simons2025Lecture notes and exercises for the 2025 Simons Foundation workshop "Lean for Mathematicians"
Lean UpdatedJun 23, 2025 -