Skip to content

Prove the (1,1,0,2) three-frame profile admits no seven-call word. - #7051

Open
unpaidmoon wants to merge 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/three-signed-q-twice-03d6
Open

Prove the (1,1,0,2) three-frame profile admits no seven-call word.#7051
unpaidmoon wants to merge 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/three-signed-q-twice-03d6

Prove the (1,1,0,2) three-frame profile admits no seven-call word.

7af3a03
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 10, 2026 in 4m 50s