{
  "title": "Addition Commutativity Proof",
  "origin_url": "https://github.com/HOL-Theorem-Prover/HOL/tree/develop/examples",
  "license_guess": "BSD-3-Clause",
  "code_sha256": "14d0e4f7e07aa4861724ea6108e5ad1ddb237b7ad5c38a3aeebfaaca20ddcb97",
  "added_at": "2026-02-13T10:04:19.973939Z"
}