Skip to content

Prove the SL2(F3) five-call minimum with arbitrary dirty workspace - #4898

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w1-1022m-semidirect-rank
Oct 23, 2026
Merged

Prove the SL2(F3) five-call minimum with arbitrary dirty workspace#4898
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w1-1022m-semidirect-rank

feat(research): prove SL2(F3) minimum with arbitrary dirty roles

fa2f4bc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 22, 2026 in 3m 1s