Skip to content

Bump to Lean 4.21.0#181

Merged
TwoFX merged 1 commit intomasterfrom
markus/lean421
Jul 1, 2025
Merged

Bump to Lean 4.21.0#181
TwoFX merged 1 commit intomasterfrom
markus/lean421

Commits

Commits on Jul 1, 2025