{
  "title": "Natural Number Addition with Commutativity Proof",
  "origin_url": "https://github.com/HigherOrderCO/Kind2/blob/master/book/Nat/add/comm.kind2",
  "license_guess": "MIT",
  "code_sha256": "116686a7235a5d271e1eb05266a938473ab8d52d994c936610d5b9e2cb94f4f6",
  "added_at": "2026-02-12T09:11:42Z"
}