{
  "title": "Natural Numbers with Addition and Multiplication",
  "origin_url": "https://github.com/Deducteam/Dedukti",
  "license_guess": null,
  "code_sha256": "640b7317dcfe5ea6ec22d401b74e18b7e22a186f68cf94e72fc38d5226e57855",
  "added_at": "2026-02-13T00:00:00Z"
}