User contributions for Int-y1
Jump to navigation
Jump to search
25 August 2025
- 09:5309:53, 25 August 2025 diff hist 0 m 1RB1LE 1LC0RA 0RF0LD 1LE1LA 1RC0LB ---1RC format
- 09:4409:44, 25 August 2025 diff hist +12 m BB(6) syntaxhighlight again
- 09:4309:43, 25 August 2025 diff hist +2 m BB(6) syntaxhighlight
- 09:3809:38, 25 August 2025 diff hist +2 m Block Analysis No edit summary
- 09:3509:35, 25 August 2025 diff hist −22 m Template:Unsolved/styles.css pp-template looks pointless current
- 09:2909:29, 25 August 2025 diff hist −18 m 1RB2LA1LA 2LA0RA2RC ---1RB2RA Changed redirect target from 1RB2LA1LA 2LA0RA2RC ---0LC2RA to Wily Coyote current Tag: Redirect target changed
- 09:2809:28, 25 August 2025 diff hist −1 m User:Icy/Non-halting Turing Machines Changed redirect target from Non-halting Turing Machines to Non-halting Turing machine current Tag: Redirect target changed
- 09:2709:27, 25 August 2025 diff hist 0 Translated Cyclers Changed redirect target from Translated Cycler to Translated cycler current Tag: Redirect target changed
- 09:1709:17, 25 August 2025 diff hist +37 Coq-BB5 link rocq to wikipedia
- 09:1609:16, 25 August 2025 diff hist +6 m Coq-BB5 bold name
- 09:1609:16, 25 August 2025 diff hist −16 m BB(5) coq -> rocq
- 09:1509:15, 25 August 2025 diff hist +57 Main Page more rocq details
- 09:1309:13, 25 August 2025 diff hist +7 m BB(3,3) coq -> rocq
- 09:1209:12, 25 August 2025 diff hist +26 Coq-BB5 No edit summary
- 09:1009:10, 25 August 2025 diff hist +1 m 1RB0LD 1RC1RA 1LD0RB 1LE1LA 1RF0RC ---1RE coq -> rocq
- 09:1009:10, 25 August 2025 diff hist +1 m Champions coq -> rocq
- 09:0909:09, 25 August 2025 diff hist +1 m 1RB0LD 1LC0RA 1RA1LB 1LA1LE 1RF0LC ---0RE coq -> rocq
- 09:0909:09, 25 August 2025 diff hist +1 m 1RB1RA 1RC1RZ 1LD0RF 1RA0LE 0LD1RC 1RA0RE coq -> rocq
- 09:0909:09, 25 August 2025 diff hist +2 m 1RB3LA4RB0RB2LA 1LB2LA3LA1RA1RZ coq -> rocq
- 09:0809:08, 25 August 2025 diff hist −9 m Main Page coq -> rocq
- 09:0709:07, 25 August 2025 diff hist +1 m 1RB1RC 1LC1LE 1RA1RD 0RF0RE 1LA0LB ---1RA coq -> rocq
- 09:0609:06, 25 August 2025 diff hist +1 m Bell eats counter coq -> rocq current
- 09:0509:05, 25 August 2025 diff hist +1 m Sync bouncer counter coq -> rocq current
- 09:0509:05, 25 August 2025 diff hist +9 m BB(2,5) coq -> rocq
- 09:0409:04, 25 August 2025 diff hist +3 m Code repositories coq -> rocq
- 09:0309:03, 25 August 2025 diff hist +5 m Closed Position Set coq -> rocq
- 09:0109:01, 25 August 2025 diff hist +1 m Coq-BB5 coq -> rocq
- 08:5608:56, 25 August 2025 diff hist +31 N 1RB2LB1LC 1LA2RB1RB 1RZ2LA0LC Redirected page to Surprise in a Box current Tag: New redirect
- 08:5108:51, 25 August 2025 diff hist +7 User:Qwerpiw/Tₘ function stub
- 08:5008:50, 25 August 2025 diff hist −8 Wily Coyote bold name
- 08:4508:45, 25 August 2025 diff hist +9 Papers & Talks stub
- 08:4508:45, 25 August 2025 diff hist +6 m Longitudinal Analysis bold name
- 08:4008:40, 25 August 2025 diff hist −2 m Green's machines remove empty column
- 08:3608:36, 25 August 2025 diff hist −6 m FAR Changed redirect target from Finite Automata Reduction (FAR) to Finite Automata Reduction current Tag: Redirect target changed
- 08:3508:35, 25 August 2025 diff hist −6 m Meet-in-the-Middle Weighted Finite Automata Reduction (MITMWFAR) update far link
- 08:3508:35, 25 August 2025 diff hist −64 m Closed Set update far link current
- 08:3508:35, 25 August 2025 diff hist 0 m Decider update far link
- 08:3408:34, 25 August 2025 diff hist −18 m Code repositories update far link
- 08:3408:34, 25 August 2025 diff hist +39 N Finite Automata Reduction (FAR) Int-y1 moved page Finite Automata Reduction (FAR) to Finite Automata Reduction: remove acronym current Tag: New redirect
- 08:3408:34, 25 August 2025 diff hist 0 m Finite Automata Reduction Int-y1 moved page Finite Automata Reduction (FAR) to Finite Automata Reduction: remove acronym
- 08:3208:32, 25 August 2025 diff hist +36 N FGH Redirected page to Fast-Growing Hierarchy current Tag: New redirect
- 08:3108:31, 25 August 2025 diff hist +6 m Fast-Growing Hierarchy bold name
- 08:2808:28, 25 August 2025 diff hist −52 m Closed Set edit cps link
- 08:2808:28, 25 August 2025 diff hist −18 m Code repositories edit cps link
- 08:2708:27, 25 August 2025 diff hist 0 m Decider edit cps link
- 08:2708:27, 25 August 2025 diff hist −6 m BB(3) edit cps link
- 08:2608:26, 25 August 2025 diff hist −6 m CPS Changed redirect target from Closed Position Set (CPS) to Closed Position Set current Tag: Redirect target changed
- 08:2508:25, 25 August 2025 diff hist +33 N Closed Position Set (CPS) Int-y1 moved page Closed Position Set (CPS) to Closed Position Set: remove acronym current Tag: New redirect
- 08:2508:25, 25 August 2025 diff hist 0 m Closed Position Set Int-y1 moved page Closed Position Set (CPS) to Closed Position Set: remove acronym
- 07:1007:10, 25 August 2025 diff hist −30 m Code repositories update ctl links