User contributions for ADucharme
Jump to navigation
Jump to search
17 August 2024
- 00:2100:21, 17 August 2024 diff hist +334 N BB(2,4) Initialized the BB(2,4) page, still definitely a WIP Tag: Visual edit
24 July 2024
- 18:4618:46, 24 July 2024 diff hist −14 m Skelet 17 futzing with the explanation of list structure Tag: Visual edit
- 07:2607:26, 24 July 2024 diff hist +5 Skelet 17 cleaned up Behavior description Tag: Visual edit
- 07:1707:17, 24 July 2024 diff hist −51 m Skelet 17 fixed math formatting
- 07:1607:16, 24 July 2024 diff hist −30 m Skelet 17 typos and math formatting Tag: Visual edit
23 July 2024
- 08:1208:12, 23 July 2024 diff hist +208 Beaver Math Olympiad Added the two/three unsolved BMO problems created thus far Tag: Visual edit: Switched
- 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