Skip to content

bump to Lean v4.32.0 & fix bugs - #195

Merged
Peiyang-Song merged 7 commits into
mainfrom
stable
Aug 18, 2026
Merged

bump to Lean v4.32.0 & fix bugs#195
Peiyang-Song merged 7 commits into
mainfrom
stable

Wire the documented libstdc++ recipe into the lean_exe smoke test

b7dcc78
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
BuildRelease (macos-latest)
succeeded Aug 18, 2026 in 10m 40s