问Isabelle中的案例分析
EN

Stack Overflow用户

提问于 2012-12-07 03:49:20

回答 1查看 940关注 0票数 3

如何在Isabelle中应用案例分析？我正在寻找类似于apply (induct x) (用于归纳)的东西。

回答已采纳

发布于 2012-12-07 07:29:22

案例分析通常使用cases方法(参见Isabelle2014的Isabelle/Isar Reference manual索引中的"cases (cases)“)。如果您是初学者，我推荐教程Programming and Proving in Isabelle/HOL。

请注意，从Isabelle 2014开始，文档也可以在Isabelle/jEdit IDE中的文档面板中找到。

票数 3

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/13751358

复制

相似问题

问Isabelle中的案例分析EN