{
  "title": "Natural Numbers and Addition",
  "origin_url": "http://twelf.org/wiki/Proving_metatheorems:Representing_the_natural_numbers",
  "license_guess": null,
  "code_sha256": "b842b2fbd4db4d8e0d9359cdd5bba3aa92bf1187ed4466e4bdf676f660d4db0d",
  "added_at": "2026-03-05T10:00:00Z"
}