Repository navigation
Certify that the fragmentation of the #4610 word is rigid under free scalar reordering (negative result, no new kappa) - #5426
Merged
Mister-Meeseeks merged 3 commits intoOct 24, 2026
Commits
Commits on Oct 24, 2026
- andcommitted
- andcommitted
- andcommitted