{
  "title": "Basic Arithmetic Theorems",
  "origin_url": "https://hol-theorem-prover.org/",
  "license_guess": null,
  "code_sha256": "7c33873271b11de5246078b632dbd83d35d091cecef59c46f3544d863d96eb45",
  "added_at": "2026-02-05T22:42:08Z"
}