Repository navigation
Prove the (2,0,1,1) three-frame profile admits no seven-call word. - #7035
Open
unpaidmoon wants to merge 1 commit into
Open
unpaidmoon wants to merge 1 commit into
unpaidmoon wants to merge 1 commit into
Commits
Commits on Nov 10, 2026