Discussion: Upgrading to Lean v4.29.1 / current Mathlib#3
Draft
ChihChengLiang wants to merge 10 commits intoTimeroot:mainfrom
Draft
Discussion: Upgrading to Lean v4.29.1 / current Mathlib#3ChihChengLiang wants to merge 10 commits intoTimeroot:mainfrom
ChihChengLiang wants to merge 10 commits intoTimeroot:mainfrom
Commits
Commits on Apr 17, 2026
- andcommitted
Commits on Apr 22, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed