https://wiki.bbchallenge.org/w/index.php?action=history&feed=atom&title=User%3AInt-y1 2026-04-30T20:43:13Z Revision history for this page on the wiki MediaWiki 1.43.5 https://wiki.bbchallenge.org/w/index.php?title=User:Int-y1&diff=3965&oldid=prev 2025-09-28T02:05:07Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 02:05, 28 September 2025</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l4">Line 4:</td> <td colspan="2" class="diff-lineno">Line 4:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 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]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 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]</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 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]].</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 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]].</div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">There are other contributions that I'm too lazy to list out.</ins></div></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-3964:rev-3965:php=table --> </table>

Int-y1 https://wiki.bbchallenge.org/w/index.php?title=User:Int-y1&diff=3964&oldid=prev 2025-09-28T02:00:09Z

<p>use tm template</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 02:00, 28 September 2025</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l3">Line 3:</td> <td colspan="2" class="diff-lineno">Line 3:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 2023-12-23: [https://discuss.bbchallenge.org/t/skelet-33-doesnt-halt-coq-proof/180 Skelet #33 doesn’t halt - Coq proof]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 2023-12-23: [https://discuss.bbchallenge.org/t/skelet-33-doesnt-halt-coq-proof/180 Skelet #33 doesn’t halt - Coq proof]</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 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]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 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]</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* 2024-07-10: Reframed <del style="font-weight: bold; text-decoration: none;">[[</del>1RB1RE_1LC0RA_0RD1LB_---1RC_1LF1RE_0LB0LE<del style="font-weight: bold; text-decoration: none;">]] </del>as a math olympiad problem ([https://discord.com/channels/960643023006490684/960643023530762343/1260535058230542428 Discord link]). This became the first problem in the [[Beaver Math Olympiad]].</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* 2024-07-10: Reframed <ins style="font-weight: bold; text-decoration: none;">{{TM|</ins>1RB1RE_1LC0RA_0RD1LB_---1RC_1LF1RE_0LB0LE<ins style="font-weight: bold; text-decoration: none;">}} </ins>as a math olympiad problem ([https://discord.com/channels/960643023006490684/960643023530762343/1260535058230542428 Discord link]). This became the first problem in the [[Beaver Math Olympiad]].</div></td></tr> <!-- diff cache key mediawiki:diff:1.41:old-3005:rev-3964:php=table --> </table>

Int-y1 https://wiki.bbchallenge.org/w/index.php?title=User:Int-y1&diff=3005&oldid=prev 2025-08-11T04:07:28Z

<p>Created page with &quot;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 <a href="/wiki/1RB1RE_1LC0RA_0RD1LB_---1RC_1LF1RE_0LB0LE" title="1RB1RE 1LC0RA 0RD1LB ---1RC 1LF1RE 0LB0LE">1RB1RE_1LC0RA_0RD1LB_---1RC_1LF1RE_0LB0LE</a> as a math olympiad problem ([https://discord.com/channels/960643023006490684/960643023530762343/1260535058230542428...&quot;</p> <p><b>New page</b></p><div>Contributions to busy beaver:<br /> <br /> * 2023-12-23: [https://discuss.bbchallenge.org/t/skelet-33-doesnt-halt-coq-proof/180 Skelet #33 doesn’t halt - Coq proof]<br /> * 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]<br /> * 2024-07-10: Reframed [[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]].</div>

Int-y1