{
  "title": "Natural Numbers with Addition",
  "origin_url": "https://cseweb.ucsd.edu/~goguen/sys/obj.html",
  "license_guess": null,
  "code_sha256": "8278fa034d87324dc1e388f88fd5a413b89c05e0f4196626b74608cac6f529e4",
  "added_at": "2026-02-10T20:31:27.967096Z"
}