{
  "title": "Natural Numbers with Addition and Multiplication",
  "origin_url": "https://github.com/sweirich/trellys/blob/master/zombie-trellys/test/Nat.trellys",
  "license_guess": "MIT",
  "code_sha256": "1bd55ada098e009c60eba599357c76c9e4a05fed76551605de88f1e7b68ef70a",
  "added_at": "2026-03-13T10:00:00Z"
}