Related changes
Jump to navigation
Jump to search
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are in bold.
List of abbreviations:
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
27 October 2025
| 19:50 | BB(6) diffhist +50 Polygon talk contribs (→Holdouts: Used new graphic and updated holdout count) | ||||
|
|
10:48 | User:RobinCodes/Work on BB Domains 2 changes history −9 [RobinCodes (2×)] | |||
|
|
10:48 (cur | prev) −1 RobinCodes talk contribs (→,Progress by domain: Removed , from title) Tag: Visual edit | ||||
|
|
10:48 (cur | prev) −8 RobinCodes talk contribs (→Progress by domain: Added BB7 progress) Tag: Visual edit | ||||
26 October 2025
|
|
20:38 | User:RobinCodes/Work on BB Domains 4 changes history +36 [RobinCodes (4×)] | |||
|
|
20:38 (cur | prev) +16 RobinCodes talk contribs (Added info about probable cryptids in BB6) Tag: Visual edit | ||||
| m |
|
18:25 (cur | prev) −15 RobinCodes talk contribs (→9 informal, 2 unverified (8 informal, 1 unverified by eqv. class): Removed Skelet-17 like) Tag: Visual edit | |||
|
|
14:01 (cur | prev) 0 RobinCodes talk contribs (→Progress by domain: Updated BB(3x4) progress.) Tag: Visual edit | ||||
|
|
10:54 (cur | prev) +35 RobinCodes talk contribs (Added Phase 2 Stage 7 of BB(3x4)) Tag: Visual edit | ||||
| 20:33 | BB(3,3) diffhist +19 RobinCodes talk contribs (→Cryptids: Added "probable champion" to potential cryptid as a name) | ||||
| 20:16 | BB(2,5) diffhist +1,033 RobinCodes talk contribs (Added information about every TM from Peacemaker II's google sheet except for the 17 untouched machines. Reordered all TM lists by category (i.e. potential cryptid, or unkown, etc.). Added math formulas wherever possible.) | ||||
| 19:14 | BB(6) diffhist +20 Polygon talk contribs (→Top Halters: Higher scoring #20 machine) | ||||
25 October 2025
| m 20:03 | Block Analysis diffhist +1 Polygon talk contribs (Grammar) | ||||
|
|
19:40 | User:RobinCodes/Work on BB Domains 5 changes history +3,229 [RobinCodes (5×)] | |||
|
|
19:40 (cur | prev) +1 RobinCodes talk contribs (→Progress by domain: Changed 2x5 count from eqv class to individual) Tag: Visual edit | ||||
| m |
|
15:13 (cur | prev) +43 RobinCodes talk contribs (→Informal and unverified proofs by domain: Added correct BB(3,3) informal proof count to table and updated footnote.) Tag: Visual edit | |||
|
|
14:28 (cur | prev) +440 RobinCodes talk contribs (→Informal and unverified proofs by domain: Updated BB(2,5) part of Informal proofs with correct values and information.) Tag: Visual edit | ||||
| m |
|
13:38 (cur | prev) +24 RobinCodes talk contribs (→Informal and unverified proofs by domain: Added total count.) Tag: Visual edit | |||
|
|
13:37 (cur | prev) +2,721 RobinCodes talk contribs (Added "informal/unverified proofs" section. Improved overall flow and structure of the page.) Tag: Visual edit | ||||
|
|
19:34 | BB(2,5) 7 changes history +1,251 [Peacemaker II (3×); RobinCodes (4×)] | |||
|
|
19:34 (cur | prev) −52 Peacemaker II talk contribs | ||||
|
|
19:33 (cur | prev) +16 Peacemaker II talk contribs | ||||
|
|
19:29 (cur | prev) −234 Peacemaker II talk contribs (minor changes) | ||||
|
|
14:38 (cur | prev) +90 RobinCodes talk contribs (→Holdouts: Added 2 missing TMs from the unsolved list. (5, unknown and 84, chaotic via long. analysis)) Tag: Visual edit | ||||
|
|
14:24 (cur | prev) +11 RobinCodes talk contribs (→Holdouts: Changed the Skelet-17-like from one dekaheptoid to another: was wrong) Tag: Visual edit | ||||
|
|
14:17 (cur | prev) +611 RobinCodes talk contribs (→Solved with moderate rigor: Added 3 machines (2 by eqivalence classes) also solved with moderate rigor.) Tag: Visual edit | ||||
|
|
11:51 (cur | prev) +809 RobinCodes talk contribs (→Certified progress: Updated paragraph section with the extra 8 Rocq-decided machines, added the new informal argument. (I am assuming that the 8 machines added to Rocq after the 83 list correspond to the 8 machines in the "Formally Proven" section and thus should not be in the Unsolved list hopefully.)) Tag: Visual edit | ||||
| 13:04 | BB(3,3) diffhist 0 RobinCodes talk contribs (→Interesting Rocq-Solved TMs: Corrected number) | ||||
24 October 2025
|
|
19:15 | User:RobinCodes/Work on BB Domains 2 changes history −29 [RobinCodes (2×)] | |||
|
|
19:15 (cur | prev) −48 RobinCodes talk contribs (Update Phase 2 Stage 6 completed (BB(3x4))) Tag: Visual edit | ||||
|
|
11:15 (cur | prev) +19 RobinCodes talk contribs (Updated BB6) Tag: Visual edit | ||||
23 October 2025
|
|
17:12 | User:RobinCodes/Work on BB Domains 2 changes history −62 [RobinCodes (2×)] | |||
|
|
17:12 (cur | prev) +22 RobinCodes talk contribs (Terry's working on BB7) Tag: Visual edit | ||||
|
|
17:01 (cur | prev) −84 RobinCodes talk contribs (Updated table and current work.) Tag: Visual edit | ||||