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/System/Monads and do-notation diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:35  Lean theorem prover/System/Proof export and independent checkers diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:35  Lean theorem prover/System/Lake and Lean projects 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/Decision procedures diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:35  Lean theorem prover/System/The tactic framework 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/Metavariables and unification diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:35  Lean theorem prover/System/The Lean kernel 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:35  Lean theorem prover/Foundations/Consistency and the metatheory diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:35  Lean theorem prover/Foundations/Proof irrelevance and subsingleton elimination diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Foundations/Classical logic from choice diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Foundations/The three axioms diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Foundations/Quotient types diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Foundations/Propositional equality diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Foundations/Definitional equality diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Foundations/Structural and well-founded recursion diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Foundations/Inductive types and recursors diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Foundations/Universes and Prop diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:34  Lean theorem prover/Foundations/Dependent function types 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)

14 October 2026

N    18:01  Lean theorem prover/System/Monads and do-notation diffhist +15,015 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:01  Lean theorem prover/System/Proof export and independent checkers diffhist +15,782 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:01  Lean theorem prover/System/Lake and Lean projects diffhist +12,492 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/Decision procedures diffhist +22,058 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:01  Lean theorem prover/System/The tactic framework diffhist +13,942 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/Metavariables and unification diffhist +14,531 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:01  Lean theorem prover/System/The Lean kernel diffhist +15,943 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:01  Lean theorem prover/Foundations/Consistency and the metatheory diffhist +13,073 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:01  Lean theorem prover/Foundations/Proof irrelevance and subsingleton elimination diffhist +13,750 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:01  Lean theorem prover/Foundations/Classical logic from choice diffhist +13,641 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:01  Lean theorem prover/Foundations/The three axioms diffhist +13,465 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:01  Lean theorem prover/Foundations/Quotient types diffhist +14,257 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:01  Lean theorem prover/Foundations/Propositional equality diffhist +15,039 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:01  Lean theorem prover/Foundations/Definitional equality diffhist +19,357 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:00  Lean theorem prover/Foundations/Structural and well-founded recursion diffhist +19,147 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:00  Lean theorem prover/Foundations/Inductive types and recursors diffhist +17,824 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:00  Lean theorem prover/Foundations/Universes and Prop diffhist +15,016 PMA Publisher talk contribs (Published from the Principia Machina source)
N    18:00  Lean theorem prover/Foundations/Dependent function types diffhist +12,904 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)
Retrieved from "https://invarians.org/wiki/Special:RecentChangesLinked/Category:Technical_pages"