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

Update docs generator for Verso 4.32

afeb804
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar