{
  "title": "Natural Numbers with Addition and Multiplication",
  "origin_url": "https://github.com/teyjus/teyjus/tree/master/examples",
  "license_guess": null,
  "code_sha256": "aee91ae23a4cbb409ebfc8e75bbd57e93d850271b3d5c042a96f779bec08741c",
  "added_at": "2026-02-13T16:03:04Z"
}