Skip to content

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

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

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

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

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