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

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, all versions

this version

24

yesterday

2

last 7 days

46

all time

235

Last Updated

May 08, 2026

License

MIT

Build Tools

mix

Publisher

Links

GitHub

Owners

jcschuster