Packages

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

Current section

3 Dependencies

Jump to

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
0 10 20 30 40

this version

26

yesterday

0

last 7 days

60

all time

233

Last Updated

Apr 21, 2026

License

MIT

Build Tools

mix

Publisher

jcschuster jcschuster

Links