{
  "title": "Natural Numbers and Lists Specification",
  "origin_url": "https://github.com/spechub/Hets-lib",
  "license_guess": null,
  "code_sha256": "28ded5f2b4c89af628af242983feff0597a240e70bc225dcf7a0a03da0a74709",
  "added_at": "2026-03-05T10:00:00Z"
}