我想在较弱的笔记本电脑上使用 Isabelle，并将繁重的定理搜索/证明委托给网络上的服务器。我猜想这之前已经完成了，但我找不到此任务的教程或报告。
Isabelle系统手册描述了如何自行运行 Isabelle 后端。但是，我从手册中不明白如何将现有前端之一（例如Isabelle/jEdit）连接到这样的进程。理想情况下，该设置应该适用于多个用户（并且理论文件位于用户系统上）。
到目前为止，我能实现的最好结果是在服务器上运行所有 Isabelle/jEdit，并通过 SSH/X11 转发从 Linux 笔记本电脑访问它。这很酷，但不完全是我的想法。还有其他方法吗？
isabelle ×1