1RB2LA0LA_2LC---2RA_0RA2RC1LC

From BusyBeaverWiki
Revision as of 03:05, 15 July 2024 by Sligocki (talk | contribs) (Created page with "{{machine|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} {{TM|1RB2LA0LA_2LC---2RA_0RA2RC1LC}} <code>@-d</code> — 13 Jun 2024 at 1:28 AM ET Proved this TM infinite in Coq: https://discord.com/channels/960643023006490684/1259770474897080380/1261554831055786045")
(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=463"