Packages

atp_client

0.7.2
0.7.2 0.7.1 0.7.0 0.6.2 0.6.1 0.6.0 0.5.0 0.4.0 0.3.0 0.2.2 0.2.1 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, Isabelle servers and local binaries, on the tptp library.

HexDocs Report package

Current section

Activity

Jump to
Documentation
Changelog
License
20 Versions
5 Dependencies
2 Dependants
Files
Activity
Date Activity
Oct 13, 2026 Publish documentation for release 0.7.2
Oct 13, 2026 Publish release 0.7.2
Oct 12, 2026 Publish documentation for release 0.7.1
Oct 12, 2026 Publish release 0.7.1
Oct 12, 2026 Publish documentation for release 0.7.0
Oct 12, 2026 Publish release 0.7.0
Jul 20, 2026 Publish documentation for release 0.6.2
Jul 20, 2026 Publish release 0.6.2
Jul 20, 2026 Publish documentation for release 0.6.1
Jul 20, 2026 Publish release 0.6.1
Jul 15, 2026 Publish documentation for release 0.6.0
Jul 15, 2026 Publish release 0.6.0
Jul 01, 2026 Publish documentation for release 0.5.0
Jul 01, 2026 Publish release 0.5.0
Jun 29, 2026 Publish documentation for release 0.4.0
Jun 29, 2026 Publish release 0.4.0
Jun 26, 2026 Publish documentation for release 0.3.0
Jun 26, 2026 Publish release 0.3.0
Jun 26, 2026 Publish documentation for release 0.3.0
Jun 26, 2026 Publish release 0.3.0
Jun 11, 2026 Publish documentation for release 0.2.2
Jun 11, 2026 Publish release 0.2.2
Jun 08, 2026 Publish documentation for release 0.2.1
Jun 08, 2026 Publish release 0.2.1
May 08, 2026 Publish documentation for release 0.2.0
May 08, 2026 Publish release 0.2.0
May 08, 2026 Publish documentation for release 0.2.0
May 08, 2026 Publish release 0.2.0
Apr 28, 2026 Publish documentation for release 0.1.7
Apr 28, 2026 Publish release 0.1.7
Apr 28, 2026 Revert release 0.1.7
Apr 28, 2026 Publish documentation for release 0.1.7
Apr 28, 2026 Publish release 0.1.7
Apr 26, 2026 Publish documentation for release 0.1.6
Apr 26, 2026 Publish release 0.1.6
Apr 25, 2026 Publish documentation for release 0.1.5
Apr 25, 2026 Publish release 0.1.5
Apr 25, 2026 Publish documentation for release 0.1.5
Apr 25, 2026 Publish release 0.1.5
Apr 25, 2026 Publish documentation for release 0.1.4
Apr 25, 2026 Publish release 0.1.4
Apr 25, 2026 Publish documentation for release 0.1.4
Apr 25, 2026 Publish release 0.1.4
Apr 24, 2026 Publish documentation for release 0.1.3
Apr 24, 2026 Publish release 0.1.3
Apr 24, 2026 Publish documentation for release 0.1.3
Apr 24, 2026 Publish release 0.1.3
Apr 24, 2026 Publish documentation for release 0.1.3
Apr 24, 2026 Publish release 0.1.3
Apr 21, 2026 Publish documentation for release 0.1.2
Apr 21, 2026 Publish release 0.1.2
Apr 21, 2026 Publish documentation for release 0.1.1
Apr 21, 2026 Publish release 0.1.1
Apr 21, 2026 Publish documentation for release 0.1.0
Apr 21, 2026 Publish release 0.1.0
55 activities of 55 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions
0 20 40 60 80

this version

28

yesterday

42

last 7 days

107

all time

1 508

Last Updated

Oct 13, 2026

License

MIT

Build Tools

mix

Publisher

jcschuster jcschuster

Links

Owners