Jump to content

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.

19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Explainers/A library of mathematics Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Explainers/Programs and proofs in one language Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Explainers/Stating the right thing Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Explainers/Checking a proof again later Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Explainers/What has to be trusted Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Explainers/The small trusted core Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Explainers/Computation inside proofs Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Explainers/When Lean says no Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Explainers/Automation and its limits Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Explainers/Holes and goals Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Explainers/Tactics Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Explainers/Induction, as the machine sees it Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Explainers/Building things from constructors Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Explainers/Functions that always finish Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Explainers/Two kinds of equality Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Explainers/What the axioms are Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Explainers/Why there is no type of all types Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Explainers/Types as specifications Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Explainers/Propositions as types Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Explainers/Checking instead of convincing Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover/Explainers/What a proof assistant does Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +28 Lean theorem prover Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +21 The Principia Machina/Tools/xAct Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +22 The Principia Machina/Tools/SymPy Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +24 The Principia Machina/Tools/SpECTRE Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +43 The Principia Machina/Tools/SageMath Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +22 The Principia Machina/Tools/QuTiP Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +45 The Principia Machina/Tools/PySR Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +24 The Principia Machina/Tools/PySINDy Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +44 The Principia Machina/Tools/Physlib Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +35 The Principia Machina/Tools/ModelingToolkit Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +25 The Principia Machina/Tools/Modelica Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +59 The Principia Machina/Tools/LagrangianNN Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +21 The Principia Machina/Tools/FiPy Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +25 The Principia Machina/Tools/FeynCalc Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +21 The Principia Machina/Tools/FORM Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +33 The Principia Machina/Tools/FEniCS Published from the Principia Machina source current
19:3419:34, 15 October 2026 diff hist +33 The Principia Machina/Tools/EinsteinToolkit Published from the Principia Machina source current
19:3319:33, 15 October 2026 diff hist +23 The Principia Machina/Tools/Devito Published from the Principia Machina source current
19:3319:33, 15 October 2026 diff hist +24 The Principia Machina/Tools/DeepXDE Published from the Principia Machina source current
19:3319:33, 15 October 2026 diff hist +24 The Principia Machina/Tools/Dedalus Published from the Principia Machina source current
19:3319:33, 15 October 2026 diff hist +25 The Principia Machina/Tools/Clawpack Published from the Principia Machina source current
19:3319:33, 15 October 2026 diff hist +25 The Principia Machina/Tools/Cadabra2 Published from the Principia Machina source current
19:3319:33, 15 October 2026 diff hist +27 The Principia Machina/Tools/AIFeynman Published from the Principia Machina source current
19:3319:33, 15 October 2026 diff hist +90 The Principia Machina/Tools/Primer Published from the Principia Machina source current
19:3319:33, 15 October 2026 diff hist +12 The Principia Machina/Tools/Operator's guide Published from the Principia Machina source current
19:3319:33, 15 October 2026 diff hist +12 The Principia Machina/Tools/General reader Published from the Principia Machina source current
19:3319:33, 15 October 2026 diff hist +12 The Principia Machina/Tools Published from the Principia Machina source current
19:3319:33, 15 October 2026 diff hist +12 The Principia Machina/Research Toolkit/Research tools Published from the Principia Machina source current
19:3319:33, 15 October 2026 diff hist +12 The Principia Machina/Research Toolkit/Research methods Published from the Principia Machina source current

Retrieved from "https://invarians.org/wiki/Special:Contributions/PMA_Publisher"