Modules
Livebook Smart Cells that drive atp_client
end to end — a single editor for TPTP problems plus a configuration form for
each backend.
TPTP editor Smart Cell with a backend mode switch.
Schema-driven configuration Smart Cell for AtpClient backends.
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.