Skip to content

chore: bump to latest Lean release (4.26.0)#253

Merged
david-christiansen merged 1 commit into
masterfrom
bump-2025-12-19
Dec 19, 2025
Merged

chore: bump to latest Lean release (4.26.0)#253
david-christiansen merged 1 commit into
masterfrom
bump-2025-12-19

Commits

Commits on Dec 19, 2025