Skip to content

chore: Update Lean to v4.28.0#73

Merged
samuelburnham merged 1 commit intomainfrom
lean-v4.28.0
Feb 23, 2026
Merged

chore: Update Lean to v4.28.0#73
samuelburnham merged 1 commit intomainfrom
lean-v4.28.0

Commits

Commits on Feb 23, 2026