CONFERENCE METADATA — incomplete historical coverage; source presence is not proof of delivery.
Research dataset: Lukas Walter, Clemens Sauerwein, Daniel Woods, InfoSec.pptx, https://doi.org/10.5281/zenodo.15989593, CC BY 4.0 https://creativecommons.org/licenses/by/4.0/. Changes: metadata extraction, exact-match reconciliation and uncertainty flags. No endorsement implied.

{
  "id": "ccc-886ea506-9b1a-5bc4-a885-1002035c6c8f",
  "title": "Intro to Lean 4: A language at the intersection of programming and mathematics",
  "presenters": [
    "Kiiya"
  ],
  "event": "Gulaschprogrammiernacht 22",
  "year": "2024",
  "source_url": "https://media.ccc.de/v/gpn22-483-intro-to-lean-4-a-language-at-the-intersection-of-programming-and-mathematics",
  "source_kind": "CCC recording catalog",
  "source_file": "ccc-gpn22.json",
  "rights": "Metadata and source links only; abstracts, biographies, transcripts and media not republished",
  "delivery_status": "Not independently verified",
  "title_status": "source supplied",
  "presenter_status": "source supplied",
  "media": [
    {
      "kind": "recording page",
      "url": "https://media.ccc.de/v/gpn22-483-intro-to-lean-4-a-language-at-the-intersection-of-programming-and-mathematics"
    }
  ],
  "provenance": [
    {
      "event": "gpn22",
      "title": "Gulaschprogrammiernacht 22",
      "source": "https://api.media.ccc.de/public/conferences/gpn22",
      "file": "ccc-gpn22.json",
      "sha256": "a9dd3e5dc1eb8750c93ffedfde05af0a493dec1048671c95710b68b0b262afe9",
      "checked": "2026-10-16T03:46:39Z",
      "source_records": 82
    }
  ],
  "source_guid": "886ea506-9b1a-5bc4-a885-1002035c6c8f",
  "source_event_api": "https://api.media.ccc.de/public/events/886ea506-9b1a-5bc4-a885-1002035c6c8f",
  "date": "2024-05-31T14:30:00.000+02:00",
  "duration_seconds": 3638,
  "language": "eng",
  "tags": [
    "gpn22",
    "483",
    "2024",
    "Science"
  ],
  "event_acronym": "gpn22",
  "source_schedule_url": ""
}