Repository navigation

Prove exact four-call alternating lattice descent (no κ) - #6383

Open

petalas wants to merge 1 commit into

CrocSwap:mainfrom

petalas:research/w6-1102a-helper-obstruction

Open

Prove exact four-call alternating lattice descent (no κ)#6383
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w6-1102a-helper-obstruction

Commits on Nov 2, 2026
- feat(research): classify alternating four-call lattice descent
  petalas
  committed
  f1c69a4