伊莎贝尔/吉迪特

伊莎贝尔/ JeDIT是PIDE框架PIDE中的证明者,它是一种面向文档的证明者交互和集成的通用框架,基于结合ML和Scala的双语架构(2)。总的目标是将LCF风格的编译器如伊莎贝尔(5,{S} 6)(或COQ〔5,{S} 4〕或HOL[5,{S} 1〕)与先进的前端技术连接在JVM平台上,最终克服命令行交互。


ZBMaX中的参考文献(24篇)1标准条款

显示结果1至20的24。
按年份排序(引文
  1. 文策尔,Makulu:与伊莎贝尔/PIDE中的形式数学文献的交互(2019)
  2. Avigad,杰瑞米(ED);Blanchette,Jasmin Christian(ED);克莱因,格温(E..);保尔森,劳伦斯(Ed);Fig,See(Ed);SneltIn,(E..):“交互式定理证明中的里程碑”的介绍(2018)
  3. Mendes、亚历山德拉、费雷拉、乔安福:《验证手写计算证明(短论文)》(2018)
  4. Schlichtkrull,安德斯;Blanchette,Jasmin Christian;特雷特尔,Dmitriy;瓦尔德曼,UWE:形式化巴赫迈尔和Ganzinger的有序分辨证明器(2018)
  5. 伯克,蒂莫西;范格拉贝克,Robert J.;H·芬纳,彼得:网络协议的过程代数机械化(2016)
  6. Hupel,拉尔斯;Kuncak,维克多:把Scala程序翻译成伊莎贝尔/HOL。系统描述(2016)
  7. Roe,肯尼斯;史米斯,史葛:COQPIE:旨在提高证明开发生产力的IDE。(粗钻石)(2016)
  8. Nakasho,Kasusia;Shidama,Yasunari:文件化生成器专注于HTML化MIZAR图书馆的符号(2015)
  9. 文策尔,Makulu:从伊莎贝尔/ ISAR的角度看交互式定理证明(2015)
  10. 伯克,蒂莫西;范格拉贝克,Robert J.;H·芬纳,彼得:为网络协议的过程代数合成不变性(2014)
  11. Hupel,拉尔斯:伊莎贝尔中交互式简化器的跟踪与调试(2014)
  12. P·K,Karol:提高自然演绎证明的可读性并不重要(2014)
  13. 环,马丁;吕,克里斯托夫:用CeldE(2014)证明协同交互定理
  14. 文策尔,MKARIUS:伊莎贝尔/PIDE中的异步用户交互和工具集成(2014)
  15. Barras,布鲁诺;卡门·冈萨雷斯-休斯卡,卢尔德;Helbin,雨果;R·G·Gianas,Yann;塔西,恩里科;文策尔,Pig;So.;^:高度可信赖的交互式定理证明系统中普遍存在的并行性(2013)
  16. 兰格,克里斯托夫;CAMNATI,Marco B.;Kerber,曼弗雷德;莫萨科夫斯,直到;RavAT,柯林;文策尔,Pig;WordSigiger-Y:四个定理证明者对基本拍卖理论适用性的定性比较(2013)
  17. 吕斯,克里斯托夫;环,马丁:伊莎贝尔的网络界面:下一代(2013)
  18. 文策尔,Makulu:交互式定理证明的共享内存多重处理(2013)
  19. Jucovschi,康斯坦丁:MKM语义服务与编辑环境的有效集成(2012)
  20. 文策尔,玛卡里乌斯:伊莎贝尔/ JeDIT——PIDE框架内的证明者(2012)