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
25 October 2025
|
|
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 | ||||