{
  "title": "Natural Numbers and Addition",
  "origin_url": "https://www.win.tue.nl/automath/",
  "license_guess": null,
  "code_sha256": "d21ddf772e77bef604eb03e1514d18c961986d271cbdc27ca87c6d7282341a9e",
  "added_at": "2026-02-10T20:04:51Z"
}