Repository navigation

Bump Lean and Mathlib to v4.34.0 - #436

Merged

Vilin97 merged 13 commits into

mainfrom

Sep 18, 2026

Merged

Bump Lean and Mathlib to v4.34.0#436
Vilin97 merged 13 commits into
mainfrom
bump/v4.34.0

Commits on Sep 15, 2026
- chore: pin Lean and Mathlib to v4.34.0
  github-actions[bot]
  committed
  374d687
- Repair 95 project(s) for v4.34.0
  github-actions[bot]
  committed
  f30fcb1
- Complete Lean 4.34 compatibility repairs and preserve project semantics
  Vilin97
  committed
  e70741e
- Resolve new tactic documentation and simp normal-form lint findings
  Vilin97
  committed
  6e37332
- Preserve coefficient references in minimal theorem exports
  Vilin97
  committed
  b78457b
Commits on Sep 17, 2026
- Merge main into Lean 4.34 upgrade and retain polynomial optimizations
  Vilin97
  committed
  c273b3c
- Preserve incoming projects and quotient tower results on Lean 4.34
  Vilin97
  committed
  cd324dd
- Merge remote-tracking branch 'origin/main' into bump/v4.34.0
  Vilin97
  committed
  9585046
- Merge remote-tracking branch 'origin/main' into bump/v4.34.0
  Vilin97
  committed
  e13e980
- Refresh metadata after upstream project removals
  Vilin97
  committed
  8dc7b3c
- Merge remote-tracking branch 'origin/main' into bump/v4.34.0
  Vilin97
  committed
  3cec79e
- fix: adapt PDL to Lean and Mathlib 4.34
  Vilin97
  committed
  b32aeac
- Merge remote-tracking branch 'origin/main' into bump/v4.34.0
  Vilin97
  committed
  20fb00c