{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"Analyzing Programs with SMT Solvers - Tikhon Jelvis - FUN OCaml 2025\" src=\"https://watch.ocaml.org/videos/embed/aTPecM67BvKkb3fmdct4WB\" style=\"border: none\" allow=\"fullscreen\"></iframe>","width":560,"height":315,"title":"Analyzing Programs with SMT Solvers - Tikhon Jelvis - FUN OCaml 2025","author_name":"FUN OCaml","author_url":"https://watch.ocaml.org/video-channels/funocaml","provider_name":"PeerTube","provider_url":"https://watch.ocaml.org","thumbnail_url":"https://watch.ocaml.org/lazy-static/previews/ace56215-f976-47ac-ada4-053ce7e58438.jpg","thumbnail_width":850,"thumbnail_height":480}