Skip to content

chore: Update Lean to v4.34.0 - #8

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

chore: Update Lean to v4.34.0#8
argument-ci-bot[bot] wants to merge 1 commit into
devfrom
update/lean-v4.34.0

Commits

Commits on Sep 15, 2026