Skip to content

chore: Update Lean to v4.34.1 - #35

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#35
argument-ci-bot[bot] wants to merge 1 commit into
mainfrom
update/lean-v4.34.1

chore: Update Lean to v4.34.1

1d8e0cb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar