Packages

atp_client

0.6.2
0.6.2 0.6.1 0.6.0 0.5.0 0.4.0 0.3.0 0.2.2 0.2.1 0.2.0 0.1.7 0.1.6 0.1.5 0.1.4 0.1.3 0.1.2 0.1.1 0.1.0

Elixir client for automated theorem provers via SystemOnTPTP, StarExec, and Isabelle servers.

HexDocs Report package

Current section

2 Dependants

Jump to
Readme
17 Versions
4 Dependencies
2 Dependants
Files
Activity

Packages depending on atp_client

2 packages
  • kino_atp_client v0.6.0 requires ~> 0.6

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

    Updated 1 month ago

    694
    recent downloads
  • atp_mcp v0.5.1 requires ~> 0.6

    MCP server exposing the SystemOnTPTP, StarExec, Isabelle and LocalExec theorem-prover backends from AtpClient over stdio JSON-RPC.

    Updated 1 month ago

    549
    recent downloads
2 packages of 2 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions
0 10 20 30 40

this version

249

yesterday

2

last 7 days

44

all time

1 292

Last Updated

Jul 20, 2026

License

MIT

Build Tools

mix

Publisher

jcschuster jcschuster

Links

Owners