{"version":"1.0","type":"video","provider_name":"media.ccc.de","provider_url":"https://media.ccc.de","width":640,"height":360,"title":"Proofs for programs, programs for proofs","author":"Markus Himmel","thumbnail_url":"https://static.media.ccc.de/media/events/bobkonf/2026/5-00e463b7-ecb5-4309-b065-f9250e72f516.jpg","html":"\u003ciframe src=\"https://media.ccc.de/v/bob11-2026-proofs-for-programs-himmel/oembed\" width=\"640\" height=\"360\" frameborder=\"0\" title=\"Proofs for programs, programs for proofs\" allowfullscreen scrolling=\"no\"\u003e\u003c/iframe\u003e\n"}