{"version":"1.0","type":"video","provider_name":"media.ccc.de","provider_url":"https://media.ccc.de","width":640,"height":360,"title":"Proving Python code correct with Nagini","author":"Marco Eilers","thumbnail_url":"https://static.media.ccc.de/media/conferences/sps23/56128-687a4b0c-99ae-41ee-b3c6-d5815aa0669e.jpg","html":"\u003ciframe src=\"https://media.ccc.de/v/sps23-56128-proving-python-code-correct/oembed\" width=\"640\" height=\"360\" frameborder=\"0\" title=\"Proving Python code correct with Nagini\" allowfullscreen scrolling=\"no\"\u003e\u003c/iframe\u003e\n"}