{
  "title": "Addition Commutativity and Identity Proofs",
  "origin_url": "https://github.com/jrh13/hol-light/blob/master/Examples/arith.ml",
  "license_guess": "BSD-2-Clause",
  "code_sha256": "470289dfe9a50a0ef899c35c4a068647b0f3ac17bbbb39aca411f7bdceac4b7b",
  "added_at": "2026-02-11T19:39:44Z"
}