{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"Property-Based Testing for OCaml through Coq\" src=\"https://watch.ocaml.org/videos/embed/jaRY5tsaZjW1yioyqCfENo\" style=\"border: none\" allow=\"fullscreen\"></iframe>","width":560,"height":315,"title":"Property-Based Testing for OCaml through Coq","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/e915fb6d-94ea-4687-b8c9-521913e57b60.jpg","thumbnail_width":850,"thumbnail_height":480}