Repository navigation

Add graph removal and extremal stability collection - #681

Merged

Vilin97 merged 4 commits into

LeanPool:mainfrom

jtraverso:jtraverso/graph-removal-extremal-stability

Oct 19, 2026

Merged

Add graph removal and extremal stability collection#681
Vilin97 merged 4 commits into
LeanPool:mainfrom
jtraverso:jtraverso/graph-removal-extremal-stability

Commits on Oct 19, 2026
- Add graph removal and extremal stability collection
  jtraverso
  committed
  0fd95de
- Extract shared partial embedding extension step
  jtraverso
  committed
  8d06339
- docs: document partial embedding candidates
  Vilin97
  committed
  b56499b
- Clarify sources for quantitative graph removal
  Vilin97
  committed
  6ddf3c9