Skip to content

Comments

chore: Update Lean to v4.27.0#71

Merged
samuelburnham merged 1 commit intomainfrom
lean-v4.27.0
Feb 18, 2026
Merged

chore: Update Lean to v4.27.0#71
samuelburnham merged 1 commit intomainfrom
lean-v4.27.0

Commits

Commits on Feb 17, 2026