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/Chronology diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:35  Lean theorem prover/Applications/Software verification 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/The Liquid Tensor Experiment diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:35  Lean theorem prover/History/The Calculus of Constructions diffhist +28 PMA Publisher talk contribs (Published from the Principia Machina source)
     19:35  Lean theorem prover/History/LCF and the tactic idea 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/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)
     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/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/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)
Retrieved from "https://invarians.org/wiki/Special:RecentChangesLinked/Lean_theorem_prover/Glossary"