{
  "@context": "https://w3id.org/codemeta/3.0",
  "@type": "SoftwareSourceCode",
  "name": "Claim Verification: \u201cThe binary operator eml is defined by the expression eml(a, b) = (a) - (b) (where exp is the exponential function and ln is the principal branch of the natural logarithm). The expression eml(1, 1) equals the base of the natural logarithm e.\u201d \u2014 Proved",
  "description": "Verdict: PROVED",
  "version": "1.18.0",
  "dateCreated": "2026-04-16",
  "license": "https://spdx.org/licenses/MIT",
  "codeRepository": "https://github.com/yaniv-golan/proof-engine",
  "url": "https://proofengine.info/proofs/the-binary-operator-eml-is-defined-by-the-expression-text-eml-a-b-exp-a-ln-b/",
  "author": [
    {
      "@type": "Organization",
      "name": "Proof Engine"
    }
  ],
  "identifier": "https://doi.org/10.5281/zenodo.19635611"
}