atp_client

0.1.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

3 Dependencies

Jump to

Readme 9 Versions 3 Dependencies 1 Dependant Activity

Dependencies of atp_client

3 dependencies

Package	Requirement
isabelle_elixir	~> 0.1
jason	~>1.4
req	~> 0.5

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions

this version

26

yesterday

0

last 7 days

60

all time

233

Last Updated

Apr 21, 2026

License

MIT

Build Tools

mix

Publisher

Links

GitHub

Owners

jcschuster