User:Int-y1

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.