Repository navigation

Bump Mathlib to the commit of Tau Ceti's v4.36.0-rc2 tag - #290

Merged

RemyDegenne merged 1 commit into

mainfrom

Nov 3, 2026

Merged

Bump Mathlib to the commit of Tau Ceti's v4.36.0-rc2 tag#290
RemyDegenne merged 1 commit into
mainfrom
bumpMathlib

Commits on Nov 3, 2026
- Bump Mathlib to 1b1ccf4, the commit of Tau Ceti's v4.36.0-rc2 tag
  
  RemyDegenne
  and
  claude
  committed
  dd7fbc5