devorgachem https://blog.hatena.ne.jp/devorgachem/ 若くない何かの悩み https://blog.kuniwak.com/ Isabelle 形式手法 最近は本業の自動テストマンより定理証明支援系に力を入れている Kuniwak です（経緯は過去記事参照）。 orgachem.hatenablog.com 定理証明支援系はいいぞ、ということで本記事では 私がよく使う Isabelle の便利機能の紹介とごく個人的に感じている使い所などを書いています。 そのため全機能を網羅するものではなくかなり漏れがあります。もし「これめっちゃ便利だけど書いてない！」みたいな気づきがありましたらご指摘いただけると嬉しいです！ 本記事の対象読者 対象読者は Isabelle の apply-script スタイルを学びたい方で、かつ「Tutorial on Is… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.kuniwak.com%2Fentry%2F2020%2F12%2F19%2F111404" title="Isabelle ゆるリファレンス（apply-scriptスタイル） - 若くない何かの悩み" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/d/devorgachem/20201215/20201215140903.png Hatena Blog https://hatena.blog 2020-12-19 11:14:04 rich https://blog.kuniwak.com/entry/2020/12/19/111404 1.0 100%