1RB2LA0LA 2LC---2RA 0RA2RC1LC: Difference between revisions
Jump to navigation
Jump to search
(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") |
(Stub) |
||
| Line 5: | Line 5: | ||
Proved this TM infinite in Coq: https://discord.com/channels/960643023006490684/1259770474897080380/1261554831055786045 | Proved this TM infinite in Coq: https://discord.com/channels/960643023006490684/1259770474897080380/1261554831055786045 | ||
[[Category:Stub]] | |||
Revision as of 01:49, 18 July 2024
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