Skip to content

KB5L: tau >= 1 box floor PROVEN at v = 5 - shareable class narrowed - no kappa - #3031

Open
navinor wants to merge 1 commit into
CrocSwap:mainfrom
navinor:research/agent-80-kb5l-boxfloor-f0
Open

KB5L: tau >= 1 box floor PROVEN at v = 5 - shareable class narrowed - no kappa#3031
navinor wants to merge 1 commit into
CrocSwap:mainfrom
navinor:research/agent-80-kb5l-boxfloor-f0

Add KB5L package: tau >= 1 box floor PROVEN at v = 5, shareable class…

e75906f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 17, 2026 in 1m 35s