Modules
Elixir client for external automated theorem provers.
TPTP4X as a Tptp.Analyzer: syntax and type findings from the TPTP World's own
checker, run on the configured SystemOnTPTP deployment.
Behaviour every backend implements so a UI (Smart Cell, Livebook, …) can discover its configurable settings and probe reachability without hard-coding per-backend knowledge.
Resolves configuration for each backend by merging (in increasing precedence)
One configurable setting on a backend, in a shape a UI can render directly.
Client for Isabelle servers, built on top of IsabelleClient from the
:isabelle_elixir package.
Opaque handle for an open Isabelle server session.
Reads the use_theories payload of an Isabelle server into SZS values.
Backend that invokes a locally installed, TPTP-compliant prover via
Port.open/2 and reads its stdout through AtpClient.Verdict.
What a backend accepts as the problem to prove.
What a backend returns when the system it ran asserted a result.
Client for self-hosted StarExec instances.
An authenticated StarExec session.
Public tptp.org HTTP form API; see query_system/3 and query_all_systems/2.
Stateful Agent that caches the system identifiers currently advertised by
a SystemOnTPTP deployment.
Reads a system's output into an AtpClient.Result.