Repository navigation

Bump `mathlib` dependency to v4.35.0 - #54

Open

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

mainfrom

hopscotch/lkg-bump

Open

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

Commits on Oct 14, 2026
- chore: bump mathlib to v4.35.0: chore: bump toolchain to v4.35.0 (#44806) (2026-10-13)
  github-actions[bot]
  committed
  6670ba4