Repository navigation

wip: bump to current mathlib --- still a handful of broken proofs - #156

Open

grunweg wants to merge 3 commits into

Open

wip: bump to current mathlib --- still a handful of broken proofs#156
grunweg wants to merge 3 commits into
masterfrom
bump-436

Commits on Oct 21, 2026
- wip: bump to current mathlib --- still a handful of broken proofs
  grunweg
  committed
  47f408c
- wip: bump to current mathlib
  grunweg
  committed
  ee949e4
- Revert "wip trying"
  grunweg
  committed
  f58027c