{
  "title": "Natural Number Proofs",
  "origin_url": "https://homepages.inf.ed.ac.uk/bundy/",
  "license_guess": null,
  "code_sha256": "47454087f0133728c4b4ab65efb70dfbb533cd62b236fb2e516f91beac1a5129",
  "added_at": "2026-03-12T10:00:00Z"
}