isabelle-client 0.2.0

A client to Isabelle proof assistant server

Isabelle Client

A client for Isabelle server. For more information about the server see part 4 of the Isabelle system manual.

For information on using this client see documentation.

How to install

pip install isabelle-client

How to start Isabelle server

isabelle server > server.info

since we'll need server info for connecting to it with this client. Or:

from isabelle_client.utils import start_isabelle_server

server_info, server_process = start_isabelle_server()

How to connect to the server

from isabelle_client.utils import get_isabelle_client

isabelle = get_isabelle_client(server_info)

How to send a command to the server

isabelle.session_build(dirs=["."], session="examples")

Note that this method returns only the last reply from the server.

How to log all replies from the server

We can add a standard Python logger to the client:

import logging

isabelle.logger = logging.getLogger()
isabelle.logger.setLevel(logging.INFO)
isabelle.logger.addHandler(logging.FileHandler("out.log"))

Then all replies from the server will go to the file out.log.

Examples

An example of using this package is located in examples directory.

Video example

.

Contributing

Issues and PRs are welcome.