最近は本業の自動テストマンより定理証明支援系に力を入れている Kuniwak です(経緯は過去記事参照)。 orgachem.hatenablog.com 定理証明支援系はいいぞ、ということで本記事では 私がよく使う Isabelle の便利機能の紹介とごく個人的に感じている使い所な…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。