开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

社区首页 >问答首页 >伊莎贝尔/霍尔有其战术语言吗？

问伊莎贝尔/霍尔有其战术语言吗？
EN

Stack Overflow用户

提问于 2019-12-28 13:57:08

回答 1查看 210关注 0票数 0

Coq有战术语言Ltac和匹配工具等。Isabelle/HOL是否有一些用于分析、模式匹配等服务的策略编程语言？我浏览了伊莎贝尔的Isar参考手册和旧的Pawlson教程，但我找到了这方面的线索。

EN

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

原文链接：

https://stackoverflow.com/questions/59511538

复制

相似问题