Skip to content

Prove eight-call floor for two arbitrary signed rank-one frames (no κ) - #6190

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
apoursh:codex/two-signed-frame-floor
Oct 29, 2026
Merged

Prove eight-call floor for two arbitrary signed rank-one frames (no κ)#6190
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
apoursh:codex/two-signed-frame-floor

Prove eight-call floor for two arbitrary signed rank-one frames

375aced
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 29, 2026 in 4m 33s