{
  "title": "Peano Arithmetic",
  "origin_url": "https://slimmer.gforge.inria.fr/bedwyr/",
  "license_guess": null,
  "code_sha256": "92260387b1efa9203871e6805a32dc54b03a58e23e4dcf820c05e2d02d0f2aeb",
  "added_at": "2026-02-27T10:00:00Z"
}