{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"Safe Protocol Updates via Propositional Logic\" src=\"https://watch.ocaml.org/videos/embed/qsKrkTJAeC7xjF6BA6hgt9\" style=\"border: none\" allow=\"fullscreen\"></iframe>","width":560,"height":315,"title":"Safe Protocol Updates via Propositional Logic","author_name":"OCaml Workshop 2021","author_url":"https://watch.ocaml.org/video-channels/ocaml2021","provider_name":"PeerTube","provider_url":"https://watch.ocaml.org","thumbnail_url":"https://watch.ocaml.org/lazy-static/previews/09a2a69f-0b3b-4bc9-891f-21d265f7e062.jpg","thumbnail_width":850,"thumbnail_height":480}