{
  "title": "Natural Numbers and Arithmetic",
  "origin_url": "https://github.com/yatima-inc/yatima",
  "license_guess": null,
  "code_sha256": "10700e3b41264c62753784c33876d4a97880dd38e9cebcfdb43c7184e44458cb",
  "added_at": "2026-02-13T13:22:50Z"
}