{
  "title": "Peano Arithmetic Plus",
  "origin_url": "https://coq.inria.fr/distrib/current/refman/addendum/language-extensions.html",
  "license_guess": "null",
  "code_sha256": "b25aaa22c1765f4e12ff80a436d91832eef438e1ec12348ad41eb55ce0ee455e",
  "added_at": "2025-10-22T15:37:16Z"
}