isabelle - Isabelle 服务器在另一台机器上？
问题描述
我想在较弱的笔记本电脑上使用 Isabelle，并将繁重的定理搜索/证明委托给网络上的服务器。我猜这之前已经完成，但我找不到此任务的教程或报告。
Isabelle 系统手册描述了如何自行运行 Isabelle 后端。但是，我从手册中不明白如何将现有前端之一（例如Isabelle/jEdit）连接到这样的过程。理想情况下，该设置应该适用于多个用户（以及位于用户系统上的理论文件）。
到目前为止，我能做到的最好的事情是在服务器上运行所有 Isabelle/jEdit，并通过 SSH/X11 转发从 Linux 笔记本电脑访问它。这很酷，但不完全是我的想法。还有其他方法吗？
解决方案
推荐阅读
- mysql - 多列主键的最小值
- javascript - Javascript onClick 计数器不起作用
- python - toprettyxml() : write() 参数必须是 str，而不是 bytes
- nginx - Nginx 抛出间歇性连接被拒绝错误
- ruby-on-rails - Rails：ActiveRecord 方法“销毁”会出错而不被执行吗？
- jquery - JQuery 中的 AJAX 发布：是否有记录限制？
- .htaccess - .htaccess 子域重写规则不起作用
- neo4j - 从 JSON 导入数据
- javascript - 页面加载chrome dev控制台后window.onload不起作用
- android - 在特定日期之后获取所有 Firestore 文档