API Reference isabelle_elixir v#0.3.0

Default stateful Isabelle client.

Raw-socket Isabelle client.

Helpers for extracting common values from Isabelle task results.

Export produced by use_theories.

Isabelle prover message.

One theory node in a use_theories result.

Status summary for one theory node.

Source position attached to an Isabelle message.

One session entry in a session_build result.

Structured session_build result.

Structured use_theories result.

Local Isabelle server lifecycle helpers.

Connection details for a resident Isabelle server.

Isabelle server session resource.

GenServer-backed Isabelle client.

Result of an Isabelle asynchronous server task.