Skip to content

feat(bg-lean): d=2 per-hub decouple residual PROVEN (nlinarith core of FlowedHubStep) - #197

Open
DrMurphyIsIn wants to merge 10 commits into
mainfrom
bg/scl-flowedstep
Open

feat(bg-lean): d=2 per-hub decouple residual PROVEN (nlinarith core of FlowedHubStep)#197
DrMurphyIsIn wants to merge 10 commits into
mainfrom
bg/scl-flowedstep

feat(bg-scl): per-child budget lemmas toward CeilStepHi (closes 7<=d<…

00d0681
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
lean-verify
succeeded Sep 3, 2026 in 2m 39s