Jump to content

Related changes

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.

Recent changes optionsShow last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide my edits | Show bots | Hide minor edits
Show new changes starting from 04:46, 21 October 2026
 
Page name:
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

21 October 2026

 N    02:50  Principia Machina/Progress/Phase 3 2 changes hist +1,015 [PMA Progress (2×)]
     
02:50 (cur | prev) +149 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
N    
02:45 (cur | prev) +866 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     02:50  Principia Machina/Progress/Phase 1 2 changes hist +898 [PMA Progress (2×)]
     
02:50 (cur | prev) +705 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
02:45 (cur | prev) +193 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     02:45  Principia Machina/Progress/Phase 2 diffhist +8,975 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     02:45  Principia Machina/Progress/Phase 0 diffhist +417 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)

19 October 2026

      19:52  Principia Machina/Progress/Phase 1 4 changes hist +1,171 [PMA Progress (4×)]
     
19:52 (cur | prev) +454 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
02:15 (cur | prev) +85 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
01:23 (cur | prev) +632 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
00:07 (cur | prev) 0 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     19:52  Principia Machina/Progress/Phase 0 3 changes hist +1,441 [PMA Progress (3×)]
     
19:52 (cur | prev) +542 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
02:28 (cur | prev) +547 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
00:07 (cur | prev) +352 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     02:29  Principia Machina/Progress/Phase 2 2 changes hist +406 [PMA Progress (2×)]
     
02:29 (cur | prev) +406 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
00:07 (cur | prev) 0 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)

18 October 2026

      16:08  Principia Machina/Progress/Phase 1 3 changes hist +360 [PMA Progress (3×)]
     
16:08 (cur | prev) +10 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
15:43 (cur | prev) +163 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
01:13 (cur | prev) +187 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     15:43  Principia Machina/Progress/Phase 0 2 changes hist +143 [PMA Progress (2×)]
     
15:43 (cur | prev) −223 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
01:13 (cur | prev) +366 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     04:16  Principia Machina/Progress/Phase 2 3 changes hist +8,550 [PMA Progress (3×)]
     
04:16 (cur | prev) +7,424 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
03:16 (cur | prev) +1,126 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
01:13 (cur | prev) 0 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)

17 October 2026

      23:59  Principia Machina/Progress/Phase 1 5 changes hist +1,420 [PMA Progress (5×)]
     
23:59 (cur | prev) +240 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
23:48 (cur | prev) +477 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
22:41 (cur | prev) +440 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
01:22 (cur | prev) +263 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
00:04 (cur | prev) 0 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     23:59  Principia Machina/Progress/Phase 0 6 changes hist +298 [PMA Progress (6×)]
     
23:59 (cur | prev) −59 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
22:41 (cur | prev) +239 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
20:02 (cur | prev) −46 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
19:52 (cur | prev) +300 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
01:22 (cur | prev) −132 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
00:04 (cur | prev) −4 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     23:01  Principia Machina/Progress/Phase 2 4 changes hist +4,932 [PMA Progress (4×)]
     
23:01 (cur | prev) +1,674 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
22:41 (cur | prev) +794 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
19:52 (cur | prev) +2,464 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
00:04 (cur | prev) 0 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)

16 October 2026

N    13:47  Principia Machina/Progress/Phase 2 diffhist +32,143 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
N    13:47  Principia Machina/Progress/Phase 1 diffhist +6,354 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
N    13:47  Principia Machina/Progress/Phase 0 diffhist +16,093 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)

15 October 2026

     19:35  Lean theorem prover/Applications/Principia Machina diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Principia Machina/Terminology diffhist −21 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Principia Machina/Lean transition diffhist +61 PMA Publisher talk contribs (Published from the Principia Machina source)
N    19:30  Template:Principia Machina map diffhist +949 PMA Publisher talk contribs (Published from the Principia Machina source)
N    19:30  Template:Section map diffhist +986 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Template:Principia Machina/styles.css diffhist +830 PMA Publisher talk contribs (Published from the Principia Machina source)

14 October 2026

N    18:01  Lean theorem prover/Applications/Principia Machina diffhist +10,542 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:00  Lean theorem prover diffhist +21,412 PMA Publisher talk contribs (Published from the Principia Machina source)
Retrieved from "https://invarians.org/wiki/Special:RecentChangesLinked/Principia_Machina/Progress/Status"