{"type":"rich","version":1.0,"title":"Propositional Calculus","width":2016,"html":"<a href=\"https://asciinema.org/a/TarY4YQQTbm3To5ZpBXTci3Y4\" target=\"_blank\"><img src=\"https://asciinema.org/a/TarY4YQQTbm3To5ZpBXTci3Y4.png\" alt=\"Propositional Calculus\" width=\"2016\"></a>","height":1144,"author_name":"lion137","author_url":"https://asciinema.org/~lion137","provider_name":"asciinema","provider_url":"https://asciinema.org/","thumbnail_height":1144,"thumbnail_url":"https://asciinema.org/a/TarY4YQQTbm3To5ZpBXTci3Y4.png","thumbnail_width":2016}