New pages

21 October 2026

• 02:4502:45, 21 October 2026 Principia Machina/Progress/Phase 3 (hist | edit) [1,015 bytes] PMA Progress (talk | contribs) (Progress pages rendered from the Principia Machina source)

16 October 2026

• 13:4713:47, 16 October 2026 Principia Machina/Progress/Status (hist | edit) [21,753 bytes] PMA Progress (talk | contribs) (Progress pages rendered from the Principia Machina source)
• 13:4713:47, 16 October 2026 Principia Machina/Progress/Log (hist | edit) [23,007 bytes] PMA Progress (talk | contribs) (Progress pages rendered from the Principia Machina source)
• 13:4713:47, 16 October 2026 Principia Machina/Progress/Phase 2 (hist | edit) [55,006 bytes] PMA Progress (talk | contribs) (Progress pages rendered from the Principia Machina source)
• 13:4713:47, 16 October 2026 Principia Machina/Progress/Phase 1 (hist | edit) [10,203 bytes] PMA Progress (talk | contribs) (Progress pages rendered from the Principia Machina source)
• 13:4713:47, 16 October 2026 Principia Machina/Progress/Phase 0 (hist | edit) [18,392 bytes] PMA Progress (talk | contribs) (Progress pages rendered from the Principia Machina source)

14 October 2026

• 18:0118:01, 14 October 2026 Lean theorem prover/Further reading (hist | edit) [8,630 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/Bibliography (hist | edit) [115,560 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/Sources (hist | edit) [22,934 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/Notation (hist | edit) [19,481 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/Glossary (hist | edit) [40,100 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/Chronology (hist | edit) [15,873 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/Applications/Principia Machina (hist | edit) [10,570 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/Applications/Physics in Lean (hist | edit) [7,554 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/Applications/Machine learning and theorem proving (hist | edit) [11,040 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/Applications/Teaching with Lean (hist | edit) [8,381 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/Applications/Software verification (hist | edit) [10,138 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/Applications/The equational theories project (hist | edit) [8,517 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/Applications/The Fermat's Last Theorem project (hist | edit) [8,554 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/Applications/The polynomial Freiman-Ruzsa conjecture (hist | edit) [8,402 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/Applications/Research mathematics (hist | edit) [10,019 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/History/Lean since 2023 (hist | edit) [13,219 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/History/The Liquid Tensor Experiment (hist | edit) [9,242 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/History/Mathlib and its community (hist | edit) [8,684 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/History/Lean 4 (hist | edit) [8,376 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/History/Lean 1 to Lean 3 (hist | edit) [9,972 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/History/The Calculus of Constructions (hist | edit) [10,164 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/History/Martin-Löf type theory (hist | edit) [10,733 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/History/LCF and the tactic idea (hist | edit) [10,418 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/History/Automath (hist | edit) [11,158 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/System/Monads and do-notation (hist | edit) [15,043 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/System/Proof export and independent checkers (hist | edit) [15,810 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/System/Lake and Lean projects (hist | edit) [12,520 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/System/The compiler and runtime (hist | edit) [15,000 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/System/Metaprogramming in Lean (hist | edit) [15,380 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/System/Syntax extension and hygienic macros (hist | edit) [17,033 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/System/Decision procedures (hist | edit) [22,086 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/System/The tactic framework (hist | edit) [13,970 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/System/Type classes and instance resolution (hist | edit) [15,086 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/System/Metavariables and unification (hist | edit) [14,559 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/System/The Lean kernel (hist | edit) [15,971 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/System/Elaboration (hist | edit) [13,625 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/Foundations/Consistency and the metatheory (hist | edit) [13,101 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/Foundations/Proof irrelevance and subsingleton elimination (hist | edit) [13,778 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/Foundations/Classical logic from choice (hist | edit) [13,669 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/Foundations/The three axioms (hist | edit) [13,493 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/Foundations/Quotient types (hist | edit) [14,285 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/Foundations/Propositional equality (hist | edit) [15,067 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0118:01, 14 October 2026 Lean theorem prover/Foundations/Definitional equality (hist | edit) [19,385 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)
• 18:0018:00, 14 October 2026 Lean theorem prover/Foundations/Structural and well-founded recursion (hist | edit) [19,175 bytes] PMA Publisher (talk | contribs) (Published from the Principia Machina source)