{
  "title": "Basic Logical Proofs",
  "origin_url": "https://isabelle.in.tum.de/documentation.html",
  "license_guess": null,
  "code_sha256": "5e79e155a11c8cecf6cb9d0921c1c69d6f8b044ff9a130f20851584637f4942d",
  "added_at": "2026-02-10T19:03:16Z"
}