{
  "title": "Natural Number Addition Properties",
  "origin_url": "https://github.com/leanprover/lean4/blob/master/tests/lean/run/nat_add.lean",
  "license_guess": "Apache-2.0",
  "code_sha256": "0949a21e862d739d36eb627a656d008bda2aaf6a7dd5c1e6d0d84d6e0833d172",
  "added_at": "2025-10-22T13:19:22Z"
}