Skip to content

Update to Lean 4.32.0-rc1 - #8

Merged
alok merged 2 commits into
mainfrom
agent/alok-777-lean-4.32
Jul 10, 2026
Merged

Update to Lean 4.32.0-rc1#8
alok merged 2 commits into
mainfrom
agent/alok-777-lean-4.32

Commits

Commits on Jul 10, 2026