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.
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:35 | Lean theorem prover/Further reading diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| 19:35 | Lean theorem prover/Bibliography diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| 19:35 | Lean theorem prover/Sources diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| 19:35 | Lean theorem prover/Notation diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| 19:35 | Lean theorem prover/Glossary diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| 19:35 | Lean theorem prover/Chronology diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| 19:35 | Lean theorem prover/Applications/Machine learning and theorem proving diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| 19:35 | Lean theorem prover/Applications/The equational theories project diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| 19:35 | Lean theorem prover/Applications/The polynomial Freiman-Ruzsa conjecture diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| 19:35 | Lean theorem prover/Applications/Research mathematics diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| 19:35 | Lean theorem prover/History/Automath diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| 19:35 | Lean theorem prover/System/Elaboration diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| 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:30 | Principia Machina/Lean transition diffhist +61 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| N 19:30 | Template:Lean theorem prover map diffhist +1,383 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/Further reading diffhist +8,602 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| N 18:01 | Lean theorem prover/Bibliography diffhist +115,532 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| N 18:01 | Lean theorem prover/Sources diffhist +22,906 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| N 18:01 | Lean theorem prover/Notation diffhist +19,453 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| N 18:01 | Lean theorem prover/Glossary diffhist +40,072 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| N 18:01 | Lean theorem prover/Chronology diffhist +15,845 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| N 18:01 | Lean theorem prover/Applications/Machine learning and theorem proving diffhist +11,012 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| N 18:01 | Lean theorem prover/Applications/The equational theories project diffhist +8,489 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| N 18:01 | Lean theorem prover/Applications/The polynomial Freiman-Ruzsa conjecture diffhist +8,374 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| N 18:01 | Lean theorem prover/Applications/Research mathematics diffhist +9,991 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| N 18:01 | Lean theorem prover/History/Automath diffhist +11,130 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| N 18:01 | Lean theorem prover/System/Elaboration diffhist +13,597 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| N 18:00 | Lean theorem prover/Foundations/Terms, types and judgments diffhist +17,993 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/What a proof assistant does diffhist +10,688 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) | ||||
| 18:00 | Principia Machina/Lean transition diffhist +1,212 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||
| 18:00 | Template:Principia Machina/styles.css diffhist +3,068 PMA Publisher talk contribs (Published from the Principia Machina source) | ||||