User contributions for ADucharme
Jump to navigation
Jump to search
23 July 2024
- 08:0608:06, 23 July 2024 diff hist +25 m Beaver Math Olympiad grammar clean-up Tag: Visual edit
17 July 2024
- 00:5800:58, 17 July 2024 diff hist +6 BB(3,3) →Holdouts: moved machines 153=758 from Unsolved to Less rigorous solution/proof Tag: Visual edit
- 00:5500:55, 17 July 2024 diff hist +184 1RB2LC1RC 2LC---2RB 2LA0LB0RA Updated BB(3,3) holdout to reflect recent progress proving it halts. Tag: Visual edit
8 July 2024
- 05:2805:28, 8 July 2024 diff hist 0 m Holdouts lists BB(6) notes typo fixed Tag: Visual edit
- 05:0805:08, 8 July 2024 diff hist +21 Holdouts lists Updated BB(5) row to reflect bbchallenge progress/proof Tag: Visual edit