User:Int-y1

From BusyBeaverWiki

Revision as of 02:05, 28 September 2025 by Int-y1 (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

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.

Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=User:Int-y1&oldid=3965"