Skip to content

chore: bump Lean and Mathlib to v4.34.0-rc1 - #336

Merged
Vilin97 merged 14 commits into
mainfrom
bump/v4.34.0-rc1
Aug 14, 2026
Merged

Vilin97 merged 14 commits into
mainfrom
bump/v4.34.0-rc1

Merge remote-tracking branch 'origin/fix/frame-complement-checker' in…

a53fad6
Select commit
Loading
Failed to load commit list.