Skip to content

Comments

chore: Update Lean to v4.27.0 #310

Open
samuelburnham wants to merge 7 commits intomainfrom
lean-v4.27.0
Open

chore: Update Lean to v4.27.0 #310
samuelburnham wants to merge 7 commits intomainfrom
lean-v4.27.0

Commits

Commits on Feb 23, 2026