Skelet 26

From BusyBeaverWiki
Revision as of 18:06, 7 March 2026 by Polygon (talk | contribs) (Created page with "{{machine|1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC---}}{{Stub}} {{TM|1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC---}}, called '''Skelet #26''', was one of Skelet's 43 holdouts and one of the last holdouts in BB(5). It is a Shift overflow counter and has an individual proof of non-halting in Coq-BB5.<ref>https://github.com/ccz181078/Coq-BB5/blob/main/BusyCoq/Skelet26.v</ref> == References == Category:BB(5)")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

1RB1LD_1RC0RB_1LA1RC_1LE0LA_1LC--- (bbch), called Skelet #26, was one of Skelet's 43 holdouts and one of the last holdouts in BB(5). It is a Shift overflow counter and has an individual proof of non-halting in Coq-BB5.[1]

References

  1. ↑ https://github.com/ccz181078/Coq-BB5/blob/main/BusyCoq/Skelet26.v
Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=Skelet_26&oldid=6560"