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...") |
m (use tm template) |
||
| Line 3: | Line 3: | ||
* 2023-12-23: [https://discuss.bbchallenge.org/t/skelet-33-doesnt-halt-coq-proof/180 Skelet #33 doesn’t halt - Coq proof] | * 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-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 | * 2024-07-10: Reframed {{TM|1RB1RE_1LC0RA_0RD1LB_---1RC_1LF1RE_0LB0LE}} as a math olympiad problem ([https://discord.com/channels/960643023006490684/960643023530762343/1260535058230542428 Discord link]). This became the first problem in the [[Beaver Math Olympiad]]. | ||
Revision as of 02:00, 28 September 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(bbch) as a math olympiad problem (Discord link). This became the first problem in the Beaver Math Olympiad.