{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"Deductive Verification of Realistic OCaml Code\" src=\"https://watch.ocaml.org/videos/embed/j42rB3YV5jvuyi4MJfzdED\" style=\"border: none\" allow=\"fullscreen\"></iframe>","width":560,"height":315,"title":"Deductive Verification of Realistic OCaml Code","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/c905ae2d-6cbf-41a3-beaf-31abdc30c7d6.jpg","thumbnail_width":850,"thumbnail_height":480}