这是名为 Isabelle/Eclipse 的 Linux 应用程序，其最新版本可以作为 isabelle-eclipse-ide-1.2.0-win32.win32.x86.zip 下载。 它可以在工作站的免费托管服务提供商 OnWorks 中在线运行。
使用 OnWorks 免费下载并在线运行这个名为 Isabelle/Eclipse 的应用程序。
请按照以下说明运行此应用程序：
- 1. 在您的 PC 中下载此应用程序。
- 2. 在我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX 中输入您想要的用户名。
- 3. 在这样的文件管理器中上传这个应用程序。
- 4. 从此网站启动OnWorks Linux online 或Windows online emulator 或MACOS online emulator。
- 5. 从您刚刚启动的 OnWorks Linux 操作系统，使用您想要的用户名转到我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX。
- 6. 下载应用程序，安装并运行。
SCREENSHOTS
Ad
伊莎贝尔/日食
商品描述
Eclipse 插件，为 Isabelle 证明助手提供 Prover IDE，基于 Isabelle/Scala 框架。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
目的
信息技术、科学/研究
用户界面
月食
程式语言
爪哇，斯卡拉
这是一个也可以从 https://sourceforge.net/projects/isabelleeclipse/ 获取的应用程序。 它已托管在 OnWorks 中，以便从我们的免费操作系统之一以最简单的方式在线运行。
