Skip to content

chore: Update Lean to v4.33.1 - #97

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
update/lean-v4.33.1
Open

chore: Update Lean to v4.33.1#97
github-actions[bot] wants to merge 1 commit into
mainfrom
update/lean-v4.33.1

Commits

Commits on Sep 9, 2026