Repository navigation

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

chore: bump Lean and Mathlib to v4.34.0-rc1#336
Vilin97 merged 14 commits into
mainfrom
bump/v4.34.0-rc1

Commits on Aug 11, 2026
- chore: pin Lean and Mathlib to v4.34.0-rc1
  github-actions[bot]
  committed
  1b4a807
Commits on Aug 12, 2026
- Repair projects for Lean 4.34.0-rc1
  Vilin97
  committed
  c171ba2
- Update lean4export for Lean 4.34.0-rc1
  Vilin97
  committed
  1ae0fc0
- Migrate deprecated conditional lemmas
  Vilin97
  committed
  75ca262
- Finish Lean 4.34 deprecation migration
  Vilin97
  committed
  8cc2e9b
- Restore project-local conditional lemmas
  Vilin97
  committed
  800a337
- Remove Lean 4.34 unused arguments
  Vilin97
  committed
  b7c67cb
- Avoid expensive exposition proof replay
  Vilin97
  committed
  7ffada7
Commits on Aug 13, 2026