Skip to content

Bump to latest stable Lean version#173

Merged
Peiyang-Song merged 4 commits intomainfrom
peiyang-dev
Jun 6, 2025
Merged

Bump to latest stable Lean version#173
Peiyang-Song merged 4 commits intomainfrom
peiyang-dev

Commits

Commits on Jun 6, 2025