Skip to content

Scoped theorem: 4k UT3 commutator calls with arbitrary dirty workspace - #1573

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
steph4n-gh:research/bit-supplier-seed14-astra2
Oct 14, 2026
Merged

Scoped theorem: 4k UT3 commutator calls with arbitrary dirty workspace#1573
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
steph4n-gh:research/bit-supplier-seed14-astra2

Prove all-register UT3 commutator call bound for any target count

0b8c5a6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
certificate (3.11)
succeeded Oct 15, 2026 in 3m 11s