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 08:13, 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

15 October 2026

     19:34  Lean theorem prover/Explainers/A library of mathematics diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Explainers/Programs and proofs in one language diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Explainers/Stating the right thing diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Explainers/Checking a proof again later 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/The small trusted core diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Explainers/Computation inside proofs diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Explainers/When Lean says no diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Explainers/Automation and its limits diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Explainers/Holes and goals diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Explainers/Tactics diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Explainers/Induction, as the machine sees it diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Explainers/Building things from constructors diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Explainers/Functions that always finish diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Explainers/Two kinds of equality diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Explainers/What the axioms are diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Explainers/Why there is no type of all types diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Explainers/Types as specifications diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Explainers/Propositions as types diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Explainers/Checking instead of convincing 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:30  Hamilton's principle/Explainers/Where the minimum fails diffhist +29 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Hamilton's principle/Explainers/When symmetry is local diffhist +29 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Hamilton's principle/Explainers/What the Euler-Lagrange equation says diffhist +29 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Hamilton's principle/Explainers/Waves and rays diffhist +29 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Hamilton's principle/Explainers/Two different actions diffhist +29 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Hamilton's principle/Explainers/The Hamiltonian diffhist +29 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Hamilton's principle/Explainers/Symmetry and conservation diffhist +29 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Hamilton's principle/Explainers/Sum over histories diffhist +29 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Hamilton's principle/Explainers/Strong and weak diffhist +29 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Hamilton's principle/Explainers/Reading a curve two ways diffhist +29 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Hamilton's principle/Explainers/Multipliers diffhist +29 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Hamilton's principle/Explainers/More than one variable diffhist +29 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Hamilton's principle/Explainers/Light and particles diffhist +29 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Hamilton's principle/Explainers/Is it really a minimum diffhist +29 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Hamilton's principle/Explainers/Gravity from an action diffhist +29 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Hamilton's principle/Explainers/Free ends diffhist +29 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Hamilton's principle/Explainers/Fixed length problems diffhist +29 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Hamilton's principle/Explainers/Fields diffhist +29 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Hamilton's principle/Explainers/Electromagnetism from an action diffhist +29 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:30  Hamilton's principle/Explainers/Constraints diffhist +29 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/Explainers/Action from the endpoints diffhist +29 PMA Publisher talk contribs (Published from the Principia Machina source)

14 October 2026

N    18:00  Lean theorem prover/Explainers/A library of mathematics diffhist +8,734 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:00  Lean theorem prover/Explainers/Programs and proofs in one language diffhist +9,522 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:00  Lean theorem prover/Explainers/Stating the right thing diffhist +8,416 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:00  Lean theorem prover/Explainers/Checking a proof again later diffhist +9,090 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:00  Lean theorem prover/Explainers/What has to be trusted diffhist +10,547 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:00  Lean theorem prover/Explainers/The small trusted core diffhist +8,698 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:00  Lean theorem prover/Explainers/Computation inside proofs diffhist +8,672 PMA Publisher talk contribs (Published from the Principia Machina source)
Retrieved from "https://invarians.org/wiki/Special:RecentChangesLinked/Category:Plain-language_explainers"