Skip to content

Update to Lean 4.20.1#172

Merged
TwoFX merged 1 commit intomasterfrom
markus/lean-420
Jun 5, 2025
Merged

Update to Lean 4.20.1#172
TwoFX merged 1 commit intomasterfrom
markus/lean-420

Commits

Commits on Jun 5, 2025