{
  "title": "Addition Commutativity and Associativity Theorems",
  "origin_url": "https://www.cl.cam.ac.uk/~mjcg/papers/HolHistory.pdf",
  "license_guess": null,
  "code_sha256": "b66879e4c635006b2cfdaecd51f73a2e7de19b88e3926f7f63e5dab1fbfa3893",
  "added_at": "2026-02-11T19:32:53Z"
}