{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"[OCaml&#39;25] A Mechanically Verified Garbage Collector for OCaml\" src=\"https://watch.ocaml.org/videos/embed/irxZmnVsK5fB1TfrsK3xh3\" style=\"border: none\" allow=\"fullscreen\"></iframe>","width":560,"height":315,"title":"[OCaml'25] A Mechanically Verified Garbage Collector for OCaml","author_name":"OCaml Workshop 2025","author_url":"https://watch.ocaml.org/video-channels/ocaml2025","provider_name":"PeerTube","provider_url":"https://watch.ocaml.org","thumbnail_url":"https://watch.ocaml.org/lazy-static/previews/018c85bc-bdf7-4162-9ce2-be13c7ec7294.jpg","thumbnail_width":850,"thumbnail_height":480}