Repository navigation

Bump `mathlib` dependency to 88126f7 - #284

Closed

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

mainfrom

hopscotch/lkg-bump

Closed

Bump `mathlib` dependency to 88126f7#284
github-actions[bot] wants to merge 1 commit into
mainfrom
hopscotch/lkg-bump

Commits on Oct 29, 2026
- chore: bump mathlib to 88126f7: feat: import `Counterexamples` in the check-yaml script (#45378) (2026-10-27)
  github-actions[bot]
  committed
  34b7536