User:Int-y1: Difference between revisions

From BusyBeaverWiki
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:

There are other contributions that I'm too lazy to list out.