Related changes
← BB(5)
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
22 February 2026
| 09:58 | Skelet 17 diffhist +205 Polygon talk contribs (Added it having needed an individual proof in Coq-BB5) | ||||
21 February 2026
|
|
19:29 | Coq-BB5 5 changes history +1,894 [Polygon (5×)] | |||
|
|
19:29 (cur | prev) +108 Polygon talk contribs (Added other domains that were proven) | ||||
| m |
|
19:23 (cur | prev) 0 Polygon talk contribs (grammar) | |||
|
|
19:22 (cur | prev) +127 Polygon talk contribs (Mentioned import) | ||||
|
|
19:10 (cur | prev) +1,116 Polygon talk contribs (Added links to the individual proofs) | ||||
|
|
19:02 (cur | prev) +543 Polygon talk contribs (Attempted to expand this a bit: Described locations of proofs for individual TMs) | ||||
|
|
13:16 | Irregular Turing Machine 2 changes history +263 [Polygon (2×)] | |||
|
|
13:16 (cur | prev) +118 Polygon talk contribs (Referencing) | ||||
|
|
13:02 (cur | prev) +145 Polygon talk contribs (Expanded (text taken from https://discord.com/channels/960643023006490684/960643023530762341/1357307689109028874)) | ||||
| 13:09 | Skelet 17 diffhist +117 Polygon talk contribs (Referenced irregularity) | ||||
20 February 2026
|
|
18:28 | Champions 4 changes history +347 [Polygon (4×)] | |||
|
|
18:28 (cur | prev) +18 Polygon talk contribs (Added references section) | ||||
|
|
18:27 (cur | prev) +274 Polygon talk contribs (→2-Symbol TMs: Added BB(150) lim(BMS) TM) | ||||
| m |
|
13:56 (cur | prev) 0 Polygon talk contribs (Category spelling) | |||
|
|
13:56 (cur | prev) +55 Polygon talk contribs (Added Category:Individual Machines and Category:Zoology) | ||||
| m 13:33 | Skelet 17 diffhist 0 Polygon talk contribs (fixed a typo) | ||||
| 13:15 | Busy Beaver Functions diffhist +63 Polygon talk contribs (De-orphaned Introduction to the Busy Beaver Function) | ||||
19 February 2026
18 February 2026
|
|
23:06 | BB(6) 4 changes history +13 [Polygon; BB fan weird; Qwertyasdf (2×)] | |||
|
|
23:06 (cur | prev) +26 Qwertyasdf talk contribs (→Techniques: clarify) Tag: Visual edit | ||||
|
|
22:58 (cur | prev) 0 Qwertyasdf talk contribs (not true Undo revision 6274 by BB fan weird (talk)) Tag: Undo | ||||
|
|
20:23 (cur | prev) 0 BB fan weird talk contribs | ||||
|
|
11:44 (cur | prev) −13 Polygon talk contribs (→Top Halters: improved lower bound for score) | ||||