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:14, 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: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/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/The compiler and runtime diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:35  Lean theorem prover/System/Metaprogramming in Lean diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:35  Lean theorem prover/System/Syntax extension and hygienic macros diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:35  Lean theorem prover/System/Type classes and instance resolution 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/Programs and proofs in one language 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/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/The compiler and runtime diffhist +14,972 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:01  Lean theorem prover/System/Metaprogramming in Lean diffhist +15,352 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:01  Lean theorem prover/System/Syntax extension and hygienic macros diffhist +17,005 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:01  Lean theorem prover/System/Type classes and instance resolution diffhist +15,058 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/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/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)
Retrieved from "https://invarians.org/wiki/Special:RecentChangesLinked/Lean_theorem_prover/System/Monads_and_do-notation"