{
  "title": "Natural Number Addition Proof",
  "origin_url": "https://github.com/agda/agda/blob/master/examples/Introduction/Nat.agda",
  "license_guess": "MIT",
  "code_sha256": "35fb4e464f6e6c3a5fb8335279f63798cefdacf5c6cda7bae656f8bbfc5816fb",
  "added_at": "2025-10-22T15:12:35Z"
}