Skip to content

Bump to Lean v4.33.0; support prebuilt system libraries - #198

Merged
Peiyang-Song merged 1 commit into
mainfrom
bump-lean-v4.33.0
Aug 19, 2026
Merged

Bump to Lean v4.33.0; support prebuilt system libraries#198
Peiyang-Song merged 1 commit into
mainfrom
bump-lean-v4.33.0

Bump to Lean v4.33.0 and support prebuilt system libraries

196d567
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
BuildRelease (ubuntu-latest)
succeeded Aug 19, 2026 in 19m 31s