1RB2LA0LA_2LC---2RA_0RA2RC1LC doesn't halt

Jul 2024 · Jason Yuen

Featured Links

Github	https://github.com/meithecatte/busycoq/pull/4
Chat about it	https://discord.com/channels/960643023006490684/1259770474897080380/
Wiki Link	https://wiki.bbchallenge.org/wiki/1RB2LA0LA_2LC---2RA_0RA2RC1LC
Highlighted message	https://discord.com/channels/960643023006490684/1259770474897080380/1261554831055786045
Proof sketch	https://discord.com/channels/960643023006490684/1084047886494470185/1220066209555284100

Description

Proof sketch posted on March 20, 2024. Coq proof first shared on July 12, 2024. Merged into busycoq on July 21, 2024.