Packages
atp_client
v0.1.2
Elixir client for automated theorem provers via SystemOnTPTP, StarExec, and Isabelle servers.
| Date | Activity |
|---|---|
| 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 |
6
activities of
6
total
Checksum
Dependency Config
mix.exs
rebar.config
Gleam
erlang.mk
Package Details
Downloads
Last 30 days,
0.1.2
this version
0
yesterday
0
last 7 days
0
all time
0
