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 03:41, 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

      02:50  Principia Machina/Progress/Status 2 changes hist −724 [PMA Progress (2×)]
     
02:50 (cur | prev) −528 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
02:45 (cur | prev) −196 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)

19 October 2026

      02:29  Principia Machina/Progress/Status 4 changes hist +133 [PMA Progress (4×)]
     
02:29 (cur | prev) 0 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
02:15 (cur | prev) +86 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
01:23 (cur | prev) 0 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
00:07 (cur | prev) +47 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)

18 October 2026

      16:08  Principia Machina/Progress/Status 5 changes hist −1,095 [PMA Progress (5×)]
     
16:08 (cur | prev) +577 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
15:43 (cur | prev) −145 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
04:16 (cur | prev) −1,356 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
03:16 (cur | prev) −149 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
01:13 (cur | prev) −22 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)

17 October 2026

      23:59  Principia Machina/Progress/Status 7 changes hist −719 [PMA Progress (7×)]
     
23:59 (cur | prev) +13 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
23:01 (cur | prev) +155 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
22:41 (cur | prev) +44 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
20:02 (cur | prev) +70 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
19:52 (cur | prev) −841 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
01:22 (cur | prev) −46 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)
     
00:04 (cur | prev) −114 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)

16 October 2026

N    13:47  Principia Machina/Progress/Status diffhist +24,158 PMA Progress talk contribs (Progress pages rendered from the Principia Machina source)

15 October 2026

     19:34  Lean theorem prover/Foundations/Terms, types and judgments diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Explainers/What has to be trusted diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Explainers/What a proof assistant does 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:34  The Principia Machina/Tools/QuTiP diffhist +22 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  The Principia Machina/Tools/PySR diffhist +45 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  The Principia Machina/Tools/FEniCS diffhist +33 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  The Principia Machina/Tools/EinsteinToolkit diffhist +33 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:33  The Principia Machina/Tools/Devito diffhist +23 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:33  The Principia Machina/Tools/DeepXDE diffhist +24 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:33  The Principia Machina/Tools/Cadabra2 diffhist +25 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:33  The Principia Machina/Tools/AIFeynman diffhist +27 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:33  The Principia Machina/Tools/Operator's guide diffhist +12 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:33  The Principia Machina/Tools/General reader diffhist +12 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:33  The Principia Machina/Tools diffhist +12 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:33  The Principia Machina/Research Toolkit/Research tools diffhist +12 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:33  The Principia Machina/Research Toolkit/Research methods diffhist +12 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:33  The Principia Machina/Research Toolkit/Manual diffhist +13 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:33  The Principia Machina/Research Toolkit/Bibliography diffhist +12 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:33  The Principia Machina/Research Toolkit/Agent flow control diffhist +13 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:33  The Principia Machina/Research Toolkit diffhist +13 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:33  On Physical Lines of Force/Introduction diffhist +35 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  On Physical Lines of Force/Explainers/The missing term diffhist +35 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  On Physical Lines of Force/Explainers diffhist +35 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  On Physical Lines of Force diffhist +34 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Noether's theorems/Explainers/Symmetry and conservation, the first theorem diffhist +26 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Noether's theorems diffhist +26 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Hamilton's principle/Explainers/Comparing paths diffhist +29 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Hamilton's principle diffhist +29 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)
     19:30  Template:Principia Machina/styles.css diffhist +830 PMA Publisher talk contribs (Published from the Principia Machina source)
Retrieved from "https://invarians.org/wiki/Special:RecentChangesLinked/Main_Page"