{
  "title": "Addition Commutativity Proof",
  "origin_url": "https://abella-prover.org/examples/",
  "license_guess": null,
  "code_sha256": "fe27267d13f30f5883bb789e3ab269586392cff69d99a25daa1c611049eade76",
  "added_at": "2026-02-10T13:45:41Z"
}