Skip to content

Prove exact two-call cost for the tied width-two transform - #5222

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
JoyboyBrian:brian/r13-tied-width-two-transform-exact-call-cost
Oct 23, 2026
Merged

Prove exact two-call cost for the tied width-two transform#5222
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
JoyboyBrian:brian/r13-tied-width-two-transform-exact-call-cost

Independently certify sparse two-call factors and finite free projectors

a5c0e17
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 23, 2026 in 5m 59s