{
  "title": "Natural Numbers with Addition and Multiplication",
  "origin_url": "https://github.com/cedille/cedille/blob/master/library/nat.ced",
  "license_guess": "MIT",
  "code_sha256": "a2d65a691c597ae78942163d043d58154c5303e87ae333f8430a12f1d0237336",
  "added_at": "2026-02-11T11:52:17Z"
}