Я хочу использовать Изабель на более слабых ноутбуках и делегировать тяжелый поиск / доказательство теоремы серверу в сети.Я бы предположил, что это было сделано раньше, но я не смог найти учебники или отчеты по этой задаче.
Руководство по системе Isabelle описывает, как запускать серверную часть Isabelle самостоятельно.Однако из руководства не понятно, как подключить один из существующих интерфейсов (например, Isabelle / jEdit ) к такому процессу.Настройка должна идеально работать для нескольких пользователей (и с файлами теории, расположенными в пользовательской системе).
Лучшее, чего я мог достичь до сих пор, - это запустить на сервере всю Isabelle / jEdit и получить к ней доступ сLinux для ноутбука через SSH / X11-forwarding.Это круто, но не совсем то, что я имел в виду.Есть ли другие подходы?