{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"Alla scoperta dei proof assistant con Agda\" src=\"https://peertube.uno/videos/embed/8fxdd2nVKA4YdC9Qd3gqit\" style=\"border: none\" allow=\"fullscreen\"></iframe>","width":560,"height":315,"title":"Alla scoperta dei proof assistant con Agda","author_name":"InfoGuide","author_url":"https://peertube.uno/video-channels/infoguide","provider_name":"PeerTube","provider_url":"https://peertube.uno","thumbnail_url":"https://peertube.uno/lazy-static/thumbnails/d90039fe-b234-43b7-b341-094447ca5bce.jpg","thumbnail_width":1280,"thumbnail_height":720}