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.
14 October 2026
- 18:0018:00, 14 October 2026 diff hist +15,016 N Lean theorem prover/Foundations/Universes and Prop Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +12,904 N Lean theorem prover/Foundations/Dependent function types Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +17,993 N Lean theorem prover/Foundations/Terms, types and judgments Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +8,526 N Lean theorem prover/Explainers/Lean and physics Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +8,734 N Lean theorem prover/Explainers/A library of mathematics Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +9,522 N Lean theorem prover/Explainers/Programs and proofs in one language Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +8,416 N Lean theorem prover/Explainers/Stating the right thing Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +9,090 N Lean theorem prover/Explainers/Checking a proof again later Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +10,547 N Lean theorem prover/Explainers/What has to be trusted Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +8,698 N Lean theorem prover/Explainers/The small trusted core Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +8,672 N Lean theorem prover/Explainers/Computation inside proofs Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +10,183 N Lean theorem prover/Explainers/When Lean says no Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +10,653 N Lean theorem prover/Explainers/Automation and its limits Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +8,507 N Lean theorem prover/Explainers/Holes and goals Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +8,925 N Lean theorem prover/Explainers/Tactics Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +8,770 N Lean theorem prover/Explainers/Induction, as the machine sees it Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +8,943 N Lean theorem prover/Explainers/Building things from constructors Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +9,331 N Lean theorem prover/Explainers/Functions that always finish Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +9,594 N Lean theorem prover/Explainers/Two kinds of equality Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +9,619 N Lean theorem prover/Explainers/What the axioms are Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +10,668 N Lean theorem prover/Explainers/Why there is no type of all types Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +7,624 N Lean theorem prover/Explainers/Types as specifications Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +8,867 N Lean theorem prover/Explainers/Propositions as types Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +8,491 N Lean theorem prover/Explainers/Checking instead of convincing Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +10,688 N Lean theorem prover/Explainers/What a proof assistant does Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +21,412 N Lean theorem prover Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +355 Main Page Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +14,555 N Principia Machina/Terminology Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +47 N Principia Machina/Lean transition/Status Published from the Principia Machina source current Tag: New redirect
- 18:0018:00, 14 October 2026 diff hist +1,212 Principia Machina/Lean transition Published from the Principia Machina source
- 18:0018:00, 14 October 2026 diff hist +3,068 Template:Principia Machina/styles.css Published from the Principia Machina source
13 October 2026
- 13:2913:29, 13 October 2026 diff hist −2,154 Main Page Published from the Principia Machina source
- 13:2913:29, 13 October 2026 diff hist +592 Principia Machina/Lean transition Published from the Principia Machina source
- 13:2913:29, 13 October 2026 diff hist +206 N Template:Principia Machina/styles.css Published from the Principia Machina source
- 07:2807:28, 13 October 2026 diff hist +2,038 Main Page Published from the Principia Machina source
- 07:2807:28, 13 October 2026 diff hist +108,125 N Principia Machina/Lean transition Published from the Principia Machina source