我想在较弱的笔记本电脑上使用Isabelle，并将繁琐的定理搜索/证明委托给网络上的服务器。我想这之前已经做过，但是我找不到此任务的教程或报告。
Isabelle System Manual描述了如何自行运行Isabelle后端。但是，我不从手册中了解如何将现有的前端之一（例如Isabelle/jEdit）连接到这样的过程。理想情况下，该设置应可用于多个用户（以及用户系统上的理论文件）。
到目前为止，我能达到的最好成绩是在服务器上运行所有Isabelle / jEdit，并通过SSH / X11转发从Linux便携式计算机访问它。这很酷，但不完全是我的初衷。还有其他方法吗？