{
  "@context": "https://w3id.org/codemeta/3.0",
  "@type": "SoftwareSourceCode",
  "name": "Claim Verification: \u201cThe positive root of x\u00b2 - x - 1 = 0 is exactly (1 + \u221a5)/2\u201d \u2014 Proved",
  "description": "Verdict: PROVED",
  "version": "0.10.0",
  "dateCreated": "2026-03-28",
  "license": "https://spdx.org/licenses/MIT",
  "codeRepository": "https://github.com/yaniv-golan/proof-engine",
  "url": "https://proofengine.info/proofs/the-positive-root-of-x-x-1-0-is-exactly-1-5-2/",
  "author": [
    {
      "@type": "Organization",
      "name": "Proof Engine"
    }
  ]
}