{
  "title": "Basic Arithmetic Theorems",
  "origin_url": "https://github.com/John-Nagle/nqthm/blob/master/nqthm-1992/examples/basic/proveall.events",
  "license_guess": "Public Domain",
  "code_sha256": "f13ce9715d714c588c7294aca6dffb18d5b4694541a1540b5ce37540c8eee922",
  "added_at": "2026-02-27T00:00:00Z"
}