{
  "title": "Natural Numbers with Addition and Proofs",
  "origin_url": "https://github.com/Deducteam/lambdapi/blob/master/examples/nat.lp",
  "license_guess": "MIT",
  "code_sha256": "881717fd49a71f6be2c5f370b8309f51798e46d705a4f3c10b0b11f1ecbde82c",
  "added_at": "2026-03-05T10:00:00Z"
}