Introduction

ISM is a supervisor and gateway for running a cluster of isabelle servers. This means that it will manage a group of isabelle server instances and abstract away the management from the isabelle client.

As such any isabelle client can connect to the gateway and will transparently be connected to one of the managed servers. ISM does offer some hints for connected sessions however these are fully compatible with the official protocol. Task recordings and other metrics related tracking is also done with no visible change to the clients.

This documentation also covers isalink, a golang library and CLI tools for interacting with isabelle server.