{"version":"1.0","type":"rich","provider_name":"timescale.info","provider_url":"https://timescale.info","title":"Type theory · foundations, languages, proof assistants and program logics","author_name":"athan","author_url":"https://timescale.info/athan","html":"<iframe src=\"https://timescale.info/embed/bc460f00-4748-4c62-b2c7-9f474da35b44#moment/qtt\" title=\"Type theory · foundations, languages, proof assistants and program logics\" width=\"800\" height=\"480\" style=\"border:0;max-width:100%\" loading=\"lazy\" allow=\"fullscreen\"></iframe>","width":800,"height":480,"thumbnail_url":"https://thumb.wikimedia.org/wikipedia/commons/thumb/c/cd/Lambda_Cube_img.svg/960px-Lambda_Cube_img.svg.png","thumbnail_width":720,"thumbnail_height":581,"cache_age":3600}