Repository navigation

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

Commits on Oct 24, 2026
- Derive complete joint-mixing screens and Bell acceptance transfer
  GoGoKo699
  committed
  8287ee1
Commits on Oct 25, 2026
- Protect proof subscripts and fit displayed equations on narrow screens
  GoGoKo699
  committed
  5291b35