Skip to content

chore: Update Lean to v4.34.1 - #37

Merged
samuelburnham merged 1 commit into
mainfrom
update/lean-v4.34.1
Oct 1, 2026
Merged

chore: Update Lean to v4.34.1#37
samuelburnham merged 1 commit into
mainfrom
update/lean-v4.34.1

chore: Update Lean to v4.34.1

a959446
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar