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
22 February 2026
| 09:59 | Skelet 1 diffhist +205 Polygon talk contribs (Added it having needed an individual proof in Coq-BB5) | ||||
| 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) | ||||
| 17:12 | Finned 3 diffhist +1,891 Polygon talk contribs (Completed move) | ||||
| 13:11 | BB(5) diffhist +44 Polygon talk contribs (Added see also section) | ||||
| 13:09 | Skelet 17 diffhist +117 Polygon talk contribs (Referenced irregularity) | ||||
| N 12:16 | 1LC0LA ---0LC 0RD1LA 1LB1RE 1RD0RE diffhist +23 Polygon talk contribs (Redirected page to Skelet 10) | ||||