一般证明

此软件的关键字
zbMATH参考文献(参考
53篇文章
参考, 1标准件 )
Paulson,Lawrence C.;Nipkow,Tobias;Wenzel,Makarius:从LCF到Isabelle/HOL(2019年) Wenzel,Makarius:与Isabelle/PIDE的正式数学文档的交互作用(2019) Czajka,Łukasz;Kaliszyk,Cezary:Hammer for Coq:依赖型理论的自动化(2018) Mendes,Alexandra;Ferreira,JoãF.:走向验证手写计算证明(短文)(2018) 大卫·达曼尼克(编辑);格斯泰西,弗里茨(编辑);尤迪茨基,彼得(编辑):小型研讨会:无反射操作员:代夫特和西蒙猜想。 2017年10月22-28日(2017)小型研讨会摘要 Gauthier,Thibault;Kaliszyk,Cezary;Urban,Josef:《战术学:用HOL4战术学理性》(2017) Hansen,Helle Hvid;Kupke,Clemens;Rutten,Jan:流微分方程:规范格式和求解方法(2017) David Christiansen;Brady,Edwin:阐述者反思:在Idris中扩展IDRI(2016) Roe,Kenneth;Smith,Scott:Coqpie:旨在提高证据开发效率的IDE。 (毛坯钻石)(2016) Barras,Bruno;Tankink,Carst;Tassi,Enrico:《Coq文档的异步处理:从内核到用户界面》(2015) Wenzel,Makarius:Isabelle/Isar视角下的交互式定理证明(2015) Heras,Jónathan;Komendantskaya,Ekaterina:Coq中的回收证明模式:案例研究(2014) Hupel,Lars:Isabelle的交互式简化程序跟踪和调试(2014) 与克里斯托夫林(ChristophüRing)合作证明(2014;与克里斯托夫林合作) Wenzel,Makarius:Isabelle/PIDE中的异步用户交互和工具集成(2014) Lüth,Christoph;Ring,Martin:Isabelle的web界面:下一代(2013) Tews,Hendrik:Coq中的割消除形式化(2013) Armstrong,Alasdair;Foster,Simon;Struth,Georg:基于自动定理证明的独立类型编程(2012) Gast,Holger:《校准仪接口工程》(2012年) ioport公司 Jucovschi,Constantin:MKM语义服务与编辑环境的成本效益整合(2012)