{
  "title": "Natural Number Addition with Proofs",
  "origin_url": "https://en.wikipedia.org/wiki/Cayenne_(programming_language)",
  "license_guess": null,
  "code_sha256": "99c9e324f516dc58ea5d21bbd73dd020c8d595e356d6c9b8ac6b4bffec475bb8",
  "added_at": "2026-02-07T10:30:00Z"
}