Skip to content

chore: Update Lean to v4.34.1 - #53

Closed
argument-ci-bot[bot] wants to merge 1 commit into
mainfrom
update/lean-v4.34.1
Closed

chore: Update Lean to v4.34.1#53
argument-ci-bot[bot] wants to merge 1 commit into
mainfrom
update/lean-v4.34.1

Commits

Commits on Sep 25, 2026