{
  "@context": "https://w3id.org/codemeta/3.0",
  "@type": "SoftwareSourceCode",
  "name": "Claim Verification: \u201c0.999... (with 9s repeating forever) is strictly less than 1.\u201d \u2014 Disproved",
  "description": "Verdict: DISPROVED",
  "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/0-999-with-9s-repeating-forever-is-strictly-less-t/",
  "author": [
    {
      "@type": "Organization",
      "name": "Proof Engine"
    }
  ]
}