User:Int-y1
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 as a math olympiad problem (Discord link). This became the first problem in the Beaver Math Olympiad.