伊莎贝尔/绝地

Isabelle/jEdit——PIDE框架中的proveride是一个面向文档的prover交互和集成的通用框架,它基于结合了ML和Scala的双语体系结构[2]。总体目标是将Isabelle[5,{S}6](或Coq[5,{S}4]或HOL[5,{S}1])等LCF风格的验证程序与JVM平台上复杂的前端技术相连接,最终克服命令行交互。


zbMATH中的参考文献(参考 26篇文章,1标准件)

显示第1到第20个结果,共26个。
按年份排序(引用)
  1. Andrea Condoluci;Kohlhase,Michael;Müller,Dennis;Rabe,Florian;Sacerdoti Coen,Claudio;Wenzel,Makarius:跨数学库的关系数据(2019年)
  2. Wenzel,Makarius:与Isabelle/PIDE的正式数学文档的交互作用(2019)
  3. Avigad,Jeremy(编辑);Blanchette,Jasmin Christian(编辑);Klein,Gerwin(编辑);Paulson,Lawrence(编辑);Popescu,Andrei(编辑);Sneling,Gregor(编辑):“交互定理证明中的里程碑”简介(2018)
  4. Mendes,Alexandra;Ferreira,JoãF.:走向验证手写计算证明(短文)(2018)
  5. Schlichtkrull,Anders;Blanchette,Jasmin Christian;Traytel,Dmitriy;Waldmann,Uwe:形式化Bachmair和Ganzinger的有序解决方案证明者(2018)
  6. Bourke,Timothy;van Glabbeek,Robert J.;Höfner,Peter:网络协议的过程代数机械化(2016)
  7. Hupel,Lars;Kuncak,Viktor:将scala程序翻译为isabelle/HOL。系统描述(2016)
  8. Kohlhase,Michael;Rabe,Florian:QED重新加载:走向多元形式的数学知识库(2016)
  9. Roe,Kenneth;Smith,Scott:Coqpie:旨在提高证据开发效率的IDE。(毛坯钻石)(2016)
  10. Nakasho,Kazuhisa;Shidama,Yasunari:专注于HTML化Mizar库符号的文档生成器(2015)
  11. Wenzel,Makarius:Isabelle/Isar视角下的交互式定理证明(2015)
  12. Borke,Timothy;van Glabbeek,Robert J.;Höfner,Peter:网络协议的过程代数的组合不变性(2014)
  13. Hupel,Lars:Isabelle的交互式简化程序跟踪和调试(2014)
  14. Pąk,Karol:提高自然演绎证明的易读性并非易事(2014)
  15. Ring,Martin;Lüth,Christoph:与Clide的协作交互定理证明(2014)
  16. Wenzel,Makarius:Isabelle/PIDE中的异步用户交互和工具集成(2014)
  17. Barras,Bruno;del Carmen González Huesca,Lourdes;Herbelin,Hugo;Régis Gianas,Yann;Tassi,Enrico;Wenzel,Makarius;Wolff,Burkhart:高度可信交互式定理证明系统中的普适并行性(2013)
  18. Lange,Christoph;Caminati,Marco B.;Kerber,Manfred;Mossakowski,Till;Rowat,Colin;Wenzel,Makarius;Windsteiger,Wolfgang:四种定理证明者对基本拍卖理论适用性的定性比较(2013)
  19. Lüth,Christoph;Ring,Martin:Isabelle的web界面:下一代(2013)
  20. Wenzel,Makarius:交互式定理证明的共享内存多处理(2013)