Skip to content

Bump to latest stable Lean version#186

Merged
Peiyang-Song merged 4 commits intomainfrom
stable
Dec 18, 2025
Merged

Bump to latest stable Lean version#186
Peiyang-Song merged 4 commits intomainfrom
stable

Commits

Commits on Dec 18, 2025