User contributions for PMA Publisher

15 October 2026

• 19:3519:35, 15 October 2026 diff hist +1,504 Main Page Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/Further reading Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/Bibliography Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/Sources Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/Notation Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/Glossary Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/Chronology Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/Applications/Principia Machina Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/Applications/Physics in Lean Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/Applications/Machine learning and theorem proving Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/Applications/Teaching with Lean Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/Applications/Software verification Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/Applications/The equational theories project Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/Applications/The Fermat's Last Theorem project Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/Applications/The polynomial Freiman-Ruzsa conjecture Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/Applications/Research mathematics Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/History/Lean since 2023 Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/History/The Liquid Tensor Experiment Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/History/Mathlib and its community Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/History/Lean 4 Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/History/Lean 1 to Lean 3 Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/History/The Calculus of Constructions Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/History/Martin-Löf type theory Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/History/LCF and the tactic idea Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/History/Automath Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/System/Monads and do-notation Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/System/Proof export and independent checkers Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/System/Lake and Lean projects Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/System/The compiler and runtime Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/System/Metaprogramming in Lean Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/System/Syntax extension and hygienic macros Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/System/Decision procedures Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/System/The tactic framework Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/System/Type classes and instance resolution Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/System/Metavariables and unification Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/System/The Lean kernel Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/System/Elaboration Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/Foundations/Consistency and the metatheory Published from the Principia Machina source current
• 19:3519:35, 15 October 2026 diff hist +28 Lean theorem prover/Foundations/Proof irrelevance and subsingleton elimination Published from the Principia Machina source current
• 19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Foundations/Classical logic from choice Published from the Principia Machina source current
• 19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Foundations/The three axioms Published from the Principia Machina source current
• 19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Foundations/Quotient types Published from the Principia Machina source current
• 19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Foundations/Propositional equality Published from the Principia Machina source current
• 19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Foundations/Definitional equality Published from the Principia Machina source current
• 19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Foundations/Structural and well-founded recursion Published from the Principia Machina source current
• 19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Foundations/Inductive types and recursors Published from the Principia Machina source current
• 19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Foundations/Universes and Prop Published from the Principia Machina source current
• 19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Foundations/Dependent function types Published from the Principia Machina source current
• 19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Foundations/Terms, types and judgments Published from the Principia Machina source current
• 19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Explainers/Lean and physics Published from the Principia Machina source current