Packages
atp_client
v0.1.1
Elixir client for automated theorem provers via SystemOnTPTP, StarExec, and Isabelle servers.
Loading README...
Checksum
Dependency Config
mix.exs
rebar.config
Gleam
erlang.mk
Package Details
Downloads
Last 30 days,
0.1.1
this version
0
yesterday
0
last 7 days
0
all time
0
