Repository navigation

chore(deps): advance CSLib and Mathlib on Lean rc2 - #1694

Merged

SamuelSchlesinger merged 2 commits into

mainfrom

work/cslib-mathlib-sync-1684-codex

Oct 30, 2026

Merged

chore(deps): advance CSLib and Mathlib on Lean rc2#1694
SamuelSchlesinger merged 2 commits into
mainfrom
work/cslib-mathlib-sync-1684-codex

Commits on Oct 30, 2026
- chore(deps): advance CSLib and Mathlib on Lean rc2
  SamuelSchlesinger
  committed
  c055d95
- fix(proofs): follow renamed Nat induction case labels
  SamuelSchlesinger
  committed
  ec19e87