1RB2LA0LA_2LC---2RA_0RA2RC1LC

From BusyBeaverWiki

Revision as of 01:49, 18 July 2024 by Sligocki (talk | contribs) (Stub)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

1RB2LA0LA_2LC---2RA_0RA2RC1LC (bbch)

@-d — 13 Jun 2024 at 1:28 AM ET

Proved this TM infinite in Coq: https://discord.com/channels/960643023006490684/1259770474897080380/1261554831055786045

Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=1RB2LA0LA_2LC---2RA_0RA2RC1LC&oldid=489"