{"type":"rich","version":1,"provider_name":"\u30c9\u30af\u30bb\u30eb","provider_url":"https:\/\/www.docswell.com\/","title":"Theorem Proving in Lean4 \u3092\u8aad\u3080\u4f1a#2 \u2015 \u7b2c2\u7ae0 2.1-2.3","url":"https:\/\/docswell.com\/slide\/KE1M2N\/embed","author_name":"Yuki Imamura","author_url":"https:\/\/docswell.com\/user\/imamuray","html":"<iframe src=\"https:\/\/docswell.com\/slide\/KE1M2N\/embed\" allowfullscreen=\"true\" class=\"docswell-iframe\" width=\"620\" height=\"349\" style=\"border: 1px solid #ccc; display: block; margin: 0px auto; padding: 0px; aspect-ratio: 620\/349;\"><\/iframe>","width":620,"height":349}