{"type":"video","version":"1.0","html":"<iframe width=\"560\" height=\"315\" sandbox=\"allow-same-origin allow-scripts allow-popups allow-forms\" title=\"Is This the End of Handwritten Math? Introducing Lean\" src=\"https://peertube.ichigo.everydayimshuflin.com/videos/embed/7uFd1GUvCySqVtMUn8xVWK\" style=\"border: none\" allow=\"fullscreen\"></iframe>","width":560,"height":315,"title":"Is This the End of Handwritten Math? Introducing Lean","author_name":"Main Greg Channel!","author_url":"https://peertube.ichigo.everydayimshuflin.com/video-channels/greg_channel","provider_name":"PeerTube","provider_url":"https://peertube.ichigo.everydayimshuflin.com","thumbnail_url":"https://peertube.ichigo.everydayimshuflin.com/lazy-static/previews/40de0fe6-0ecd-4cf8-a77d-431dc3324978.jpg","thumbnail_width":850,"thumbnail_height":480}