User contributions for PMA Publisher
Results for PMA Publisher talk block log uploads logs
A user with 288 edits. Account created on 13 October 2026.
A user with 288 edits. Account created on 13 October 2026.
15 October 2026
- 19:3019:30, 15 October 2026 diff hist +1,309 N Template:Research Toolkit map Published from the Principia Machina source current
- 19:3019:30, 15 October 2026 diff hist +1,521 N Template:On Physical Lines of Force map Published from the Principia Machina source current
- 19:3019:30, 15 October 2026 diff hist +1,890 N Template:Noether's theorems map Published from the Principia Machina source current
- 19:3019:30, 15 October 2026 diff hist +1,511 N Template:Hamilton's principle map Published from the Principia Machina source current
- 19:3019:30, 15 October 2026 diff hist +986 N Template:Section map Published from the Principia Machina source current
- 19:3019:30, 15 October 2026 diff hist +830 Template:Principia Machina/styles.css Published from the Principia Machina source current
14 October 2026
- 18:0118:01, 14 October 2026 diff hist +8,602 N Lean theorem prover/Further reading Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +115,532 N Lean theorem prover/Bibliography Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +22,906 N Lean theorem prover/Sources Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +19,453 N Lean theorem prover/Notation Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +40,072 N Lean theorem prover/Glossary Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +15,845 N Lean theorem prover/Chronology Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +10,542 N Lean theorem prover/Applications/Principia Machina Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +7,526 N Lean theorem prover/Applications/Physics in Lean Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +11,012 N Lean theorem prover/Applications/Machine learning and theorem proving Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +8,353 N Lean theorem prover/Applications/Teaching with Lean Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +10,110 N Lean theorem prover/Applications/Software verification Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +8,489 N Lean theorem prover/Applications/The equational theories project Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +8,526 N Lean theorem prover/Applications/The Fermat's Last Theorem project Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +8,374 N Lean theorem prover/Applications/The polynomial Freiman-Ruzsa conjecture Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +9,991 N Lean theorem prover/Applications/Research mathematics Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +13,191 N Lean theorem prover/History/Lean since 2023 Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +9,214 N Lean theorem prover/History/The Liquid Tensor Experiment Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +8,656 N Lean theorem prover/History/Mathlib and its community Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +8,348 N Lean theorem prover/History/Lean 4 Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +9,944 N Lean theorem prover/History/Lean 1 to Lean 3 Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +10,136 N Lean theorem prover/History/The Calculus of Constructions Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +10,705 N Lean theorem prover/History/Martin-Löf type theory Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +10,390 N Lean theorem prover/History/LCF and the tactic idea Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +11,130 N Lean theorem prover/History/Automath Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +15,015 N Lean theorem prover/System/Monads and do-notation Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +15,782 N Lean theorem prover/System/Proof export and independent checkers Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +12,492 N Lean theorem prover/System/Lake and Lean projects Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +14,972 N Lean theorem prover/System/The compiler and runtime Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +15,352 N Lean theorem prover/System/Metaprogramming in Lean Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +17,005 N Lean theorem prover/System/Syntax extension and hygienic macros Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +22,058 N Lean theorem prover/System/Decision procedures Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +13,942 N Lean theorem prover/System/The tactic framework Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +15,058 N Lean theorem prover/System/Type classes and instance resolution Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +14,531 N Lean theorem prover/System/Metavariables and unification Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +15,943 N Lean theorem prover/System/The Lean kernel Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +13,597 N Lean theorem prover/System/Elaboration Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +13,073 N Lean theorem prover/Foundations/Consistency and the metatheory Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +13,750 N Lean theorem prover/Foundations/Proof irrelevance and subsingleton elimination Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +13,641 N Lean theorem prover/Foundations/Classical logic from choice Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +13,465 N Lean theorem prover/Foundations/The three axioms Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +14,257 N Lean theorem prover/Foundations/Quotient types Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +15,039 N Lean theorem prover/Foundations/Propositional equality Published from the Principia Machina source
- 18:0118:01, 14 October 2026 diff hist +19,357 N Lean theorem prover/Foundations/Definitional equality Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +19,147 N Lean theorem prover/Foundations/Structural and well-founded recursion Published from the Principia Machina source