Main public logs

Combined display of all available logs of The Invariance Itself. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/System/Proof export and independent checkers (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/System/Lake and Lean projects (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/System/The compiler and runtime (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/System/Metaprogramming in Lean (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/System/Syntax extension and hygienic macros (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/System/Decision procedures (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/System/The tactic framework (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/System/Type classes and instance resolution (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/System/Metavariables and unification (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/System/The Lean kernel (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/System/Elaboration (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Foundations/Consistency and the metatheory (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Foundations/Proof irrelevance and subsingleton elimination (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Foundations/Classical logic from choice (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Foundations/The three axioms (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Foundations/Quotient types (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Foundations/Propositional equality (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Foundations/Definitional equality (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Foundations/Structural and well-founded recursion (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Foundations/Inductive types and recursors (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Foundations/Universes and Prop (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Foundations/Dependent function types (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Foundations/Terms, types and judgments (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Explainers/Lean and physics (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Explainers/A library of mathematics (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Explainers/Programs and proofs in one language (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Explainers/Stating the right thing (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Explainers/Checking a proof again later (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Explainers/What has to be trusted (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Explainers/The small trusted core (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Explainers/Computation inside proofs (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Explainers/When Lean says no (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Explainers/Automation and its limits (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Explainers/Holes and goals (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Explainers/Tactics (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Explainers/Induction, as the machine sees it (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Explainers/Building things from constructors (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Explainers/Functions that always finish (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Explainers/Two kinds of equality (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Explainers/What the axioms are (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Explainers/Why there is no type of all types (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Explainers/Types as specifications (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Explainers/Propositions as types (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Explainers/Checking instead of convincing (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Explainers/What a proof assistant does (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Principia Machina/Terminology (Published from the Principia Machina source)
• 18:00, 14 October 2026 PMA Publisher talk contribs created page Principia Machina/Lean transition/Status (Published from the Principia Machina source) Tag: New redirect
• 13:29, 13 October 2026 PMA Publisher talk contribs created page Template:Principia Machina/styles.css (Published from the Principia Machina source)
• 07:28, 13 October 2026 PMA Publisher talk contribs created page Principia Machina/Lean transition (Published from the Principia Machina source)