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).

• 19:30, 15 October 2026 PMA Publisher talk contribs created page Template:Principia Machina map (Published from the Principia Machina source)
• 19:30, 15 October 2026 PMA Publisher talk contribs created page Template:Lean theorem prover map (Published from the Principia Machina source)
• 19:30, 15 October 2026 PMA Publisher talk contribs created page Template:Research Toolkit map (Published from the Principia Machina source)
• 19:30, 15 October 2026 PMA Publisher talk contribs created page Template:On Physical Lines of Force map (Published from the Principia Machina source)
• 19:30, 15 October 2026 PMA Publisher talk contribs created page Template:Noether's theorems map (Published from the Principia Machina source)
• 19:30, 15 October 2026 PMA Publisher talk contribs created page Template:Hamilton's principle map (Published from the Principia Machina source)
• 19:30, 15 October 2026 PMA Publisher talk contribs created page Template:Section map (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Further reading (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Bibliography (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Sources (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Notation (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Glossary (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Chronology (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Applications/Principia Machina (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Applications/Physics in Lean (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Applications/Machine learning and theorem proving (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Applications/Teaching with Lean (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Applications/Software verification (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Applications/The equational theories project (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Applications/The Fermat's Last Theorem project (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Applications/The polynomial Freiman-Ruzsa conjecture (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/Applications/Research mathematics (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/History/Lean since 2023 (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/History/The Liquid Tensor Experiment (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/History/Mathlib and its community (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/History/Lean 4 (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/History/Lean 1 to Lean 3 (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/History/The Calculus of Constructions (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/History/Martin-Löf type theory (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/History/LCF and the tactic idea (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/History/Automath (Published from the Principia Machina source)
• 18:01, 14 October 2026 PMA Publisher talk contribs created page Lean theorem prover/System/Monads and do-notation (Published from the Principia Machina source)
• 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)