另一台机器上的Isabelle服务器？

我想在较弱的笔记本电脑上使用Isabelle，并将繁重的定理搜索/证明委托给网络上的服务器。我想这以前已经做过了，但我找不到这项任务的教程或报告

描述了如何自行运行Isabelle后端。然而，从手册中我不明白如何将一个现有前端（例如）连接到这样一个流程。理想情况下，该设置应适用于多个用户（以及位于用户系统上的理论文件）

---

到目前为止，我所能达到的最好效果就是在服务器上运行所有Isabelle/jEdit，并通过SSH/X11转发从Linux笔记本电脑访问它。这很酷，但不完全是我想要的。还有其他的方法吗？

对你有用的方法是。使用构建（即使是本地构建）已经为我节省了大量启动时间和内存，但代价是编辑构建文件的过程更加复杂。不过，您当前的会话仍将在本地笔记本电脑上运行，因此这并不是您所要求的。早在2017年，Makarius就开始讨论如何改善您的体验，但我不知道它的现状。