{"version":"1.0","type":"video","provider_name":"media.ccc.de","provider_url":"https://media.ccc.de","width":640,"height":360,"title":"Recursive Definitions in Lean","author":"Joachim Breitner","thumbnail_url":"https://static.media.ccc.de/media/events/bobkonf/2025/15-7aa0611a-c29c-4d94-9a8d-31bed40783cc.jpg","html":"\u003ciframe src=\"https://media.ccc.de/v/bob11-2025-recursive-definitions-in-lean-breitner/oembed\" width=\"640\" height=\"360\" frameborder=\"0\" title=\"Recursive Definitions in Lean\" allowfullscreen scrolling=\"no\"\u003e\u003c/iframe\u003e\n"}