文件名称：Isabelle/Eclipse:用于Isabelle证明助理的Eclipse集成-开源
文件大小：70.51MB
文件格式：ZIP
更新时间：2024-06-02 15:48:29
开源软件
Eclipse插件基于Isabelle / Scala框架为Isabelle证明助手提供Prover IDE。 Isabelle / Eclipse从Isabelle / jEdit Prover IDE的端口开始，与Eclipse IDE集成为插件。 集成使用通用的Eclipse组件来提供理论编辑，正确的符号，完成帮助，证明者输出和其他功能。 通过在Eclipse上构建，它可以立即继承各种IDE优点。 该SourceForge项目用于分发Isabelle / Eclipse文件-源代码和问题管理位于GitHub上：http://github.com/andriusvelykis/isabelle-eclipse访问Isabelle / Eclipse网站http：//andriusvelykis.github。 com / isabelle-eclipse