Skip to content

Research: sharp eight-call UT4 noncentral pair with arbitrary dirty workspace - #1935

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
adamgall:research/round2-10
Oct 14, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
adamgall:research/round2-10

research: prove sharp UT4 noncentral shared-middle tariff

9bb74ff
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
verify (3.14)
succeeded Oct 15, 2026 in 4m 31s