User contributions for Int-y1
Jump to navigation
Jump to search
27 September 2025
- 04:4904:49, 27 September 2025 diff hist +20 m 1RB1LA 1LC0RC 1LD1RC 1RB1LE 0LF0LA ---0RB add category BB(6)
- 04:4804:48, 27 September 2025 diff hist +20 m 1RB0RF 1RC0LD 1LB1RC ---0LE 1RA1LE ---0RC add category BB(6) current
- 04:4704:47, 27 September 2025 diff hist +20 m 1RB0RF 1LC1RB 0RD0LB 1RZ0LE 1RE0RA 1RD1RE add category BB(6) current
- 04:4704:47, 27 September 2025 diff hist +18 m 1RB0RE 1LC1LD 0RA0LD 1LB0LA 1RF1RA ---1LB add category BB(6) current
- 04:4704:47, 27 September 2025 diff hist +20 m 1RB0RE 0RC--- 1LD1LE 1LE1LD 1RF0LC 1RA1RF add category BB(6)
- 04:4604:46, 27 September 2025 diff hist +20 1RB0RD 0LC1RA 0RA1LB 1RE1LB 1LF1LB ---1LE add category BB(6) current
- 04:4604:46, 27 September 2025 diff hist +20 m 1RB0RC 1RC0LC 0RD1LE 1LE1RF 0LB--- 0RA1LA add category BB(6)
- 04:4604:46, 27 September 2025 diff hist +26 m 1RB0RC 1LC1LF 1RD0LB 1RZ0LE ---1RA 1LB0RE add category BB(6) current
- 04:4504:45, 27 September 2025 diff hist +20 m 1RB0RC 0LC0LB 0LD1LC 0LE1LA 0LF--- 1RF1RA add category BB(6) current
- 04:4504:45, 27 September 2025 diff hist +20 m 1RB0RB 1LC1RE 1LF0LD 1RA1LD 1RC1RB ---1LC add category BB(6) current
- 04:4504:45, 27 September 2025 diff hist +20 m 1RB0LF 1RC1RB 1LD0RA 1LB0LE 1RZ0LC 1LA1LF add category BB(6) current
- 04:4404:44, 27 September 2025 diff hist +20 m 1RB0LF 1RC1RA 1LD0RE 1LB1LD ---1RC 1RC1LA add category BB(6) current
- 04:4404:44, 27 September 2025 diff hist +20 m 1RB0LE 1LC1RA ---1LD 0RB1LF 1RD1LA 0LA0RD add category BB(6) current
- 04:4404:44, 27 September 2025 diff hist +19 m 1RB0LD 1RC1RF 1LA0RA 0LA0LE 1LD1LA 0RB--- add category BB(6)
- 04:4304:43, 27 September 2025 diff hist +16 m 1RB0LD 1RC1RA 1LD0RB 1LE1LA 1RF0RC ---1RE add category BB(6) current
- 04:4304:43, 27 September 2025 diff hist +20 m 1RB0LD 1RC0RF 1LC1LA 0LE1RZ 1LF0RB 0RC0RE add category BB(6) current
- 04:4304:43, 27 September 2025 diff hist +20 m 1RB0LD 1RC0RC 1LA0RD 1RC1LE 0LF--- 1LA0RC add category BB(6) current
- 04:4204:42, 27 September 2025 diff hist +20 m 1RB0LD 1LC0RA 1RA1LB 1LA1LE 1RF0LC ---0RE add category BB(6)
- 04:4204:42, 27 September 2025 diff hist +18 m 1RB0LC 1LC0RD 1LF1LA 1LB1RE 1RB1LE ---0LE add category BB(6) current
- 04:4204:42, 27 September 2025 diff hist +18 m 1RB0LC 0LC0RF 1RD1LC 0RA1LE ---0LD 1LF1LA add category BB(6) current
- 04:4204:42, 27 September 2025 diff hist +19 m 1RB0LB 1LC0RE 1LA1LD 0LC--- 0RB0RF 1RE1RB add category BB(6)
- 04:4104:41, 27 September 2025 diff hist +20 m 1RB--- 0RC1RD 1LA0LA 1LE0RB 1LF1LE 1LC0LD add category BB(6)
- 04:4104:41, 27 September 2025 diff hist 0 m 1RB--- 0RC0RE 1RD1RF 1LE0LB 1RC0LD 1RC1RA category order current
- 04:4004:40, 27 September 2025 diff hist −14 m Antihydra add category BB(6)
- 04:3804:38, 27 September 2025 diff hist +18 1RB--- 0RC0RE 1RD1RF 1LE0LB 1RC0LD 1RC1RA add category BB(6)
- 04:3604:36, 27 September 2025 diff hist +40 N Category:BB(6) Created page with "Pages related to the study of BB(6)."
- 02:5402:54, 27 September 2025 diff hist +55 N 1RB1RF 1RC1RA 1LD0LE 1RB0LC 0RB0RD 1RE--- Redirected page to 1RB--- 0RC0RE 1RD1RF 1LE0LB 1RC0LD 1RC1RA current Tag: New redirect
- 02:5402:54, 27 September 2025 diff hist +55 N 1RB0LC 1RC1RE 1LA0LD 0RB0RA 1RB1RF 1RD--- Redirected page to 1RB--- 0RC0RE 1RD1RF 1LE0LB 1RC0LD 1RC1RA current Tag: New redirect
- 02:5302:53, 27 September 2025 diff hist +55 N 1RB1RD 1LC0LE 1RA0LB 1RA1RF 0RA0RC 1RE--- Redirected page to 1RB--- 0RC0RE 1RD1RF 1LE0LB 1RC0LD 1RC1RA current Tag: New redirect
- 02:5302:53, 27 September 2025 diff hist −86 1RB--- 0RC0RE 1RD1RF 1LE0LB 1RC0LD 1RC1RA no B
- 02:5102:51, 27 September 2025 diff hist −25 1RB--- 0RC0RE 1RD1RF 1LE0LB 1RC0LD 1RC1RA No edit summary
- 02:4402:44, 27 September 2025 diff hist +626 1RB--- 0RC0RE 1RD1RF 1LE0LB 1RC0LD 1RC1RA use Permute.py
- 02:2602:26, 27 September 2025 diff hist +97 m 1RB--- 0RC0RE 1RD1RF 1LE0LB 1RC0LD 1RC1RA update discord messages
- 02:2402:24, 27 September 2025 diff hist −4,000 1RB0RE 1LC0RA 1LA1LD 1LC1LF 0LC0LB 1LE--- change to redirect. these 2 machines have pretty much identical analysis. current Tag: New redirect
- 02:2302:23, 27 September 2025 diff hist +4,351 1RB--- 0RC0RE 1RD1RF 1LE0LB 1RC0LD 1RC1RA transfer info from 1RB0RE_1LC0RA_1LA1LD_1LC1LF_0LC0LB_1LE---
23 September 2025
- 03:1303:13, 23 September 2025 diff hist −1 Beeping Busy Beaver rename heading
22 September 2025
- 08:5008:50, 22 September 2025 diff hist +262 1RB0LF 1RC1RA 1LD0RE 1LB1LD ---1RC 1RC1LA rocq proof
- 03:3503:35, 22 September 2025 diff hist +12 1RB0LF 1RC1RA 1LD0RE 1LB1LD ---1RC 1RC1LA non-halting
- 03:3203:32, 22 September 2025 diff hist +341 Sequences add BBλ_1, move BBBB to Π3
21 September 2025
- 23:0623:06, 21 September 2025 diff hist +4 m Sequences link
- 23:0523:05, 21 September 2025 diff hist +190 Sequences add BBλ
- 22:5922:59, 21 September 2025 diff hist +117 Sequences add 2 antihydra sequences
- 22:4722:47, 21 September 2025 diff hist +10 m 1RB0LF 1RC1RA 1LD0RE 1LB1LD ---1RC 1RC1LA headings
- 22:4022:40, 21 September 2025 diff hist +56 1RB1RA 1LC1LE 1RE0LD 1LC0LF 1RZ0RA 0RA0LB no rocq
- 22:3622:36, 21 September 2025 diff hist −8 m 1RB1LF 1LB1LC 1RD0LE ---0RB 0RC0LA 1RC0RF not really a stub anymore
- 22:3522:35, 21 September 2025 diff hist +204 1RB1LF 1LB1LC 1RD0LE ---0RB 0RC0LA 1RC0RF rocq proof
- 22:2722:27, 21 September 2025 diff hist −1 m 1RB0RE 1LC0RA 1LA1LD 1LC1LF 0LC0LB 1LE--- grammar
- 22:2522:25, 21 September 2025 diff hist +115 1RB0RC 1RC0LC 0RD1LE 1LE1RF 0LB--- 0RA1LA rocq proof
- 22:1822:18, 21 September 2025 diff hist +217 1RB0LE 1LC1RA ---1LD 0RB1LF 1RD1LA 0LA0RD rocq proof
- 22:1122:11, 21 September 2025 diff hist +262 1RB0LD 1RC0RC 1LA0RD 1RC1LE 0LF--- 1LA0RC rocq proof