Intro to Lean 4: A language at the intersection of programming and mathematics
Gulaschprogrammiernacht 22 · 2024
Presenter: Kiiya
Attributed source ↗ · Plaintext record
CCC recording catalog. Title: source supplied. Credit: source supplied. Delivery: Not independently verified.
Source date value: 2024-05-31T14:30:00.000+02:00. This is retained as source metadata; recording dates or placeholder timestamps do not establish a session’s actual date.
Rights: Metadata and source links only; abstracts, biographies, transcripts and media not republished
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.
Inspect structured metadata and provenance
{
"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": ""
}