Skip to content

Prove P104 rank-eight cut under arbitrary frame-path interleaving - #2113

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
jeremydiviney:research/p104-commutation-cut
Oct 15, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
jeremydiviney:research/p104-commutation-cut

Prove P104 cut under arbitrary interleaving of fixed frame paths

fa1a45f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
certificate (3.11)
succeeded Oct 15, 2026 in 4m 16s