{
  "title": "Natural Number Addition",
  "origin_url": "https://cseweb.ucsd.edu/~goguen/ps/obj.html",
  "license_guess": null,
  "code_sha256": "8ce07282a81c17e03c67930175c5bdeac2368695118ae3f2b63d74f16d4f827b",
  "added_at": "2026-02-08T14:08:12.651797Z"
}