User:Int-y1: Difference between revisions
Jump to navigation
Jump to search
(Created page with "Contributions to busy beaver: * 2023-12-23: [https://discuss.bbchallenge.org/t/skelet-33-doesnt-halt-coq-proof/180 Skelet #33 doesn’t halt - Coq proof] * 2024-01-28: [https://discuss.bbchallenge.org/t/skelet-26-and-15-do-not-halt-coq-proof/183 Skelet #26 and #15 do not halt - Coq proof] * 2024-07-10: Reframed 1RB1RE_1LC0RA_0RD1LB_---1RC_1LF1RE_0LB0LE as a math olympiad problem ([https://discord.com/channels/960643023006490684/960643023530762343/1260535058230542428...") |
(No difference)
|
Latest revision as of 04:07, 11 August 2025
Contributions to busy beaver:
- 2023-12-23: Skelet #33 doesn’t halt - Coq proof
- 2024-01-28: Skelet #26 and #15 do not halt - Coq proof
- 2024-07-10: Reframed 1RB1RE_1LC0RA_0RD1LB_---1RC_1LF1RE_0LB0LE as a math olympiad problem (Discord link). This became the first problem in the Beaver Math Olympiad.