Skip to content

refactor(Algorithms/WordRAM/Karger): derive contraction survival from Karger.spec through a simulation lemma - #2269

Merged
SamuelSchlesinger merged 8 commits into
mainfrom
feat/karger-bridge
Nov 2, 2026
Merged

refactor(Algorithms/WordRAM/Karger): derive contraction survival from Karger.spec through a simulation lemma#2269
SamuelSchlesinger merged 8 commits into
mainfrom
feat/karger-bridge

Merge origin/main into feat/karger-bridge (after #2241)

55bca47
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 errors
Job log options

This job was cancelled