{
  "title": "Peano Natural Numbers with Addition and Multiplication",
  "origin_url": "https://cafeobj.org/",
  "license_guess": null,
  "code_sha256": "f962d0d2b7fd402d7f51729097a87ddbf4c1d1b0691f7f2334e5c6cba2d9904e",
  "added_at": "2026-02-08T14:12:00Z"
}