Packages

atp_client

0.2.0
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 HexPreview

Current section

1 Dependant

Jump to
Readme
9 Versions
3 Dependencies
1 Dependant
Activity

Packages depending on atp_client

1 package
  • kino_atp_client v0.1.4

    Provides a Smart Cell for querying external provers on SystemOnTPTP.

    Published 2 weeks ago

    131
    recent downloads
    total downloads: 131
1 package of 1 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

22

yesterday

0

last 7 days

60

all time

233

Last Updated

May 08, 2026

License

MIT

Build Tools

mix

Publisher

jcschuster jcschuster

Links

Owners