Skip to content

Derive complete bank-mixing screens and Bell acceptance transfer - #244

Merged
GoGoKo699 merged 2 commits into
mainfrom
research/joint-bank-mixing-screen
Oct 25, 2026
Merged

Derive complete bank-mixing screens and Bell acceptance transfer#244
GoGoKo699 merged 2 commits into
mainfrom
research/joint-bank-mixing-screen

Protect proof subscripts and fit displayed equations on narrow screens

5291b35
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
analytic (3.13)
succeeded Oct 25, 2026 in 15m 19s