# KinoAtpClient v0.6.0 - Table of Contents

> Livebook Smart Cells for AtpClient: a unified frontend over SystemOnTPTP, StarExec, Isabelle, and local TPTP-compliant prover binaries.

## Pages

- [KinoAtpClient](readme.md)
- [Demo of the AtpClient Smart Cells](demo.md)

## Modules

- [KinoAtpClient](KinoAtpClient.md): Livebook Smart Cells that drive [`atp_client`](https://hexdocs.pm/atp_client)
end to end — a single editor for TPTP problems plus a configuration form for
each backend.
- [KinoAtpClient.AtpSolver](KinoAtpClient.AtpSolver.md): TPTP editor Smart Cell with a backend mode switch.
- [KinoAtpClient.BackendConfig](KinoAtpClient.BackendConfig.md): Schema-driven configuration Smart Cell for AtpClient backends.
- [KinoAtpClient.IsabelleRuntime](KinoAtpClient.IsabelleRuntime.md): Lazy singleton that auto-manages a local Isabelle server + `HOL` session for
the Smart Cell's Isabelle backend, mirroring the workflow demonstrated in
the `isabelle_elixir` livebooks: spawn a local server, open one session,
load the bundled `TPTP.thy`, and re-use both across calls.