Skip to content

feat(Algorithms/Lean/Karger): contraction over memory, and Karger.spec as a refinement of memory - #2254

Open
SamuelSchlesinger wants to merge 1 commit into
feat/karger-memory-layoutfrom
feat/karger-memory-contract
Open

feat(Algorithms/Lean/Karger): contraction over memory, and Karger.spec as a refinement of memory#2254
SamuelSchlesinger wants to merge 1 commit into
feat/karger-memory-layoutfrom
feat/karger-memory-contract

Commits

  1. Commits on Nov 2, 2026