Skip to content

upgrade lean 4.32 rc1#1

Merged
cameronfreer merged 7 commits into
masterfrom
upgrade-lean-4.32-rc1
Jun 27, 2026
Merged

upgrade lean 4.32 rc1#1
cameronfreer merged 7 commits into
masterfrom
upgrade-lean-4.32-rc1

Commits

Commits on Jun 26, 2026

Commits on Jun 27, 2026