Skip to content

Prove sharp geometric convergence of the projection recurrence (no new κ) - #5193

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
krzysztofwojt:research/projection-geometric-tail
Oct 23, 2026
Merged

Prove sharp geometric convergence of the projection recurrence (no new κ)#5193
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
krzysztofwojt:research/projection-geometric-tail

Focus contribution on geometric rate and credit concurrent monotonici…

c27103b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 23, 2026 in 4m 51s