atp_client

0.1.3

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

Readme

Jump to

Readme 9 Versions 3 Dependencies 1 Dependant Activity

Loading README...

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, 0.1.3

this version

24

yesterday

0

last 7 days

60

all time

233

Last Updated

Apr 24, 2026

License

MIT

Build Tools

mix

Publisher

Links

GitHub

Owners

jcschuster