Skip to content

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

Open
unpaidmoon wants to merge 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/three-signed-a-twice-e6bb
Open

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

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

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