难以置信的打样机 swMATH ID: 28840 软件作者： 约阿希姆·布雷特纳（Joachim Breitner）；丹尼斯·洛纳 描述： 不可思议的打样机的元理论。难以置信的证明机器是一个交互式可视化定理证明程序，它将证明表示为端口图。我们在Isabelle中对这个证明表示进行了建模，并证明它与自然演绎一样强大。 主页： https://www.isa-afp.org/entries/Incredible_Proof_Machine.html 依赖项： 伊莎贝尔 相关软件： 伊莎贝尔/HOL;github;格栅;FOL_哈里森;提案解决方案;抽象稳健性;经验证的校准仪;无Lambda RPO;存档正式证据;不完全性定理;FOL配件;摘要完整性;Knuth Bendix订单;次一致性;叠加微积分;完备性定理;理论博物馆;IsaFoL公司;吉塔瓦;E定理证明器 引用于： 2文件 2位作者引用 1 约阿希姆·布雷特纳 1 安德斯·施利奇特克鲁尔 连载1篇 1 自动推理杂志 在2个字段中引用 2 数学逻辑和基础（03-XX） 2 计算机科学（68至XX） 按年份列出的引文