User:Int-y1: Difference between revisions
Jump to navigation
Jump to search
m (use tm template) |
No edit summary |
||
| Line 4: | Line 4: | ||
* 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 {{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]]. | * 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]]. | ||
There are other contributions that I'm too lazy to list out. | |||
Latest revision as of 02:05, 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.
There are other contributions that I'm too lazy to list out.