User contributions for ADucharme

24 July 2024

• 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