Repository navigation

Bump `mathlib` dependency to v4.35.0-rc3 - #72

Open

github-actions[bot] wants to merge 1 commit into

mainfrom

hopscotch/lkg-bump

Open

Bump `mathlib` dependency to v4.35.0-rc3#72
github-actions[bot] wants to merge 1 commit into
mainfrom
hopscotch/lkg-bump

Commits on Sep 26, 2026
- chore: bump mathlib to v4.35.0-rc3: chore: bump toolchain to v4.35.0-rc3 (#44172) (2026-09-24)
  github-actions[bot]
  committed
  c60389a