{
  "title": "Natural Number Addition",
  "origin_url": "https://personal.cis.strath.ac.uk/conor.mcbride/pub/she/",
  "license_guess": null,
  "code_sha256": "3b315ab5fe722e9b86ea9dbf6f16d94446c6e9b0924fbbcf899dfcc9784e1687",
  "added_at": "2026-02-06T00:31:50Z"
}