User contributions for RobinCodes

11 April 2026

• 18:3118:31, 11 April 2026 diff hist +70 TMBR: November 2025 Updated references for consistency, made sure BB6 spreadsheet was the current version current Tag: Visual edit
• 18:1818:18, 11 April 2026 diff hist +131 TMBR: September 2025 →BB Adjacent: Updated references for consistency current Tag: Visual edit
• 15:1215:12, 11 April 2026 diff hist +126 m TMBR: July 2025 →Champions: Changed reference links to consistent format current Tag: Visual edit

10 April 2026

• 09:3909:39, 10 April 2026 diff hist +109 TMBR: April 2026 Added BMO to introductory summary text Tag: Visual edit
• 09:3409:34, 10 April 2026 diff hist +86 1RB0LD 0RC1RB 0RD0RA 1LE0RD 1LF--- 0LA1LA added redirect Tag: New redirect
• 09:3209:32, 10 April 2026 diff hist 0 N 1RB0LD 0RC1RB 0RD0RA 1LE0RD 1LF--- 0LA1LA Added page for BMO 8 Tag: Visual edit
• 09:3009:30, 10 April 2026 diff hist −7 TMBR: April 2026 →Holdouts: Change to canonical TM Tag: Visual edit
• 09:3009:30, 10 April 2026 diff hist −1 Beaver Math Olympiad Fix formatting Tag: Visual edit
• 09:2709:27, 10 April 2026 diff hist +1 Beaver Math Olympiad →8. 1RB0LD_0RC0RF_0RD0RA_1LE0RD_1LF---_0LA1LA (bbch): Changed to canonical TM Tag: Visual edit
• 09:2209:22, 10 April 2026 diff hist +107 TMBR: April 2026 →Misc: Added BMO 8 Tag: Visual edit
• 09:1809:18, 10 April 2026 diff hist −32 User:RobinCodes/Next Steps updated bb2x5 progress current Tag: Visual edit
• 09:1809:18, 10 April 2026 diff hist +122 BB(2,5) →Holdouts: Added dyuan's progress Tag: Visual edit

9 April 2026

• 20:2220:22, 9 April 2026 diff hist +70 1RB1RA 1LC0RC ---0LD 0LE0RF 1RE0RA 0LF1LB →Analysis by Racheline: Added equivalent machine too incase the analysis was done on that current Tag: Visual edit
• 20:2120:21, 9 April 2026 diff hist 0 1RB1RA 1LC0RC ---0LD 0LE0RF 1RE0RA 0LF1LB Changed TM to canonical machine Tag: Visual edit
• 19:4219:42, 9 April 2026 diff hist +40 1RB1LA 1RC0RF 1RD--- 0LE1RB ---0LA 1LD1RF →1RB1LA_1RC0RF_1RD---_0LE1RB_---0LA_1LD1RF: Added credits.
• 19:3519:35, 9 April 2026 diff hist −32 User:RobinCodes/Next Steps →BB(2,5):: Added all progress Tag: Visual edit
• 19:3419:34, 9 April 2026 diff hist +244 BB(2,5) →Unsolved: Added all progress. Tag: Visual edit
• 19:2319:23, 9 April 2026 diff hist 0 TMBR: April 2026 →Holdouts: Change sheep to lowercase. Tag: Visual edit
• 19:2319:23, 9 April 2026 diff hist 0 TMBR: April 2026 Change sheep to lowercase. Tag: Visual edit
• 19:1619:16, 9 April 2026 diff hist +431 TMBR: April 2026 Added reference link to Sheep discovering the Cryptid, added summary text of this month. Tag: Visual edit
• 19:0819:08, 9 April 2026 diff hist +145 TMBR: April 2026 →Holdouts: Added comment about Needles and removed "probable" Tag: Visual edit
• 18:2518:25, 9 April 2026 diff hist −6 User:RobinCodes/Next Steps →BB(2,5):: New non-analysed list Tag: Visual edit
• 18:1418:14, 9 April 2026 diff hist +20 TMBR: April 2026 →Holdouts: Added % reduction to BB7 prog Tag: Visual edit
• 18:1218:12, 9 April 2026 diff hist 0 User:RobinCodes/Work on BB Domains →Progress: Added BB(7) progress Tag: Visual edit
• 18:1218:12, 9 April 2026 diff hist 0 User:RobinCodes/Work on BB Domains Added BB(2,6) progress Tag: Visual edit
• 15:0515:05, 9 April 2026 diff hist +1 User:RobinCodes/Work on BB Domains →Enumeration: Updated BB(2,7) enumeration status Tag: Visual edit
• 15:0415:04, 9 April 2026 diff hist −1 m User:RobinCodes/Work on BB Domains →Progress: Better wording Tag: Visual edit
• 15:0315:03, 9 April 2026 diff hist +1 User:RobinCodes/Work on BB Domains →Progress: Better formatting Tag: Visual edit
• 15:0315:03, 9 April 2026 diff hist +2 m User:RobinCodes/Work on BB Domains →Progress: Better formatting Tag: Visual edit
• 15:0215:02, 9 April 2026 diff hist +12 User:RobinCodes/Work on BB Domains →Progress: Added BB(6) informal count Tag: Visual edit
• 12:3512:35, 9 April 2026 diff hist +21 User:RobinCodes/Next Steps →BB(3,3):: Fixed numbers Tag: Visual edit
• 09:0709:07, 9 April 2026 diff hist +26 User:RobinCodes/Next Steps →BB(2,5):: Update goal and numbers Tag: Visual edit
• 09:0509:05, 9 April 2026 diff hist −84 User:RobinCodes/Work on BB Domains →Informal Proofs: Clarified informal proofs & removed old ones Tag: Visual edit
• 09:0109:01, 9 April 2026 diff hist 0 User:RobinCodes/Work on BB Domains →Progress: Fixed informal count Tag: Visual edit
• 09:0009:00, 9 April 2026 diff hist 0 Holdouts lists Added BB(2,5) formal progress Tag: Visual edit
• 08:5908:59, 9 April 2026 diff hist 0 Holdouts lists Added BB(2,6) progress Tag: Visual edit

2 April 2026

• 21:4621:46, 2 April 2026 diff hist −54 User:RobinCodes/Next Steps →BB(2,5):: Removed TM from unanalysed list Tag: Visual edit
• 21:4421:44, 2 April 2026 diff hist +122 BB(2,5) →Unsolved: Added long. analysis by dyuan Tag: Visual edit
• 14:2614:26, 2 April 2026 diff hist +1 m TMBR: April 2026 →Holdouts: Added dot at end of sentence Tag: Visual edit
• 14:2514:25, 2 April 2026 diff hist 0 User:RobinCodes/Next Steps →BB(2,5):: BB(2,5) formalisation progress Tag: Visual edit
• 14:1414:14, 2 April 2026 diff hist −165 User:RobinCodes/Work on BB Domains →7 informal: BB(2,5) formalisation progress Tag: Visual edit
• 14:1214:12, 2 April 2026 diff hist +523 BB(2,5) →Certified progress: Updated progress Tag: Visual edit

1 April 2026

• 14:5214:52, 1 April 2026 diff hist +30 BB(2,5) →Certified progress: Fix Aristotle Links Tag: Visual edit
• 14:5114:51, 1 April 2026 diff hist +10 TMBR: April 2026 →Misc: Fix link Tag: Visual edit
• 14:4914:49, 1 April 2026 diff hist +489 Beaver Math Olympiad →Solved problems: Add links to Discord for the formalised solution Tag: Visual edit
• 14:4614:46, 1 April 2026 diff hist +583 TMBR: April 2026 Added BB(2,5) formalisation Tag: Visual edit
• 14:4414:44, 1 April 2026 diff hist +11 TMBR: April 2026 Fixed reference format Tag: Visual edit
• 14:4314:43, 1 April 2026 diff hist +1,740 BB(2,5) →Certified progress: Added new mxdys formalisation and missed older mxdys formalisation Tag: Visual edit
• 14:2714:27, 1 April 2026 diff hist −6 User:RobinCodes/Work on BB Domains →Informal Proofs: Update generic numbers Tag: Visual edit
• 14:2714:27, 1 April 2026 diff hist −300 User:RobinCodes/Work on BB Domains →BB(2,5): 28 March 2026: Updated BB(2,5) Tag: Visual edit