API Reference isabelle_elixir v#0.2.0

Stateful, single-process Isabelle client.

Local Isabelle server lifecycle helpers.

Result of an Isabelle asynchronous server task.

GenServer-backed Isabelle client.

Minimal stateless client for the Isabelle server.