{"version":"1.0","type":"video","provider_name":"Lectern","provider_url":"https://lectern.tv","title":"Simple Proofs in Intuitionistic Logic","author_name":"Rosalie Iemhoff","author_url":"https://lectern.tv/speakers/rosalie-iemhoff","thumbnail_url":"https://i.ytimg.com/vi/aXx1Nejr9qE/hqdefault.jpg","thumbnail_width":1280,"thumbnail_height":720,"width":800,"height":450,"html":"<iframe width=\"800\" height=\"450\" src=\"https://www.youtube-nocookie.com/embed/aXx1Nejr9qE\" title=\"Simple Proofs in Intuitionistic Logic\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share\" referrerpolicy=\"strict-origin-when-cross-origin\" allowfullscreen></iframe>","web_page":"https://lectern.tv/watch/simple-proofs-in-intuitionistic-logic"}