Current section
2 Dependants
Jump to
Current section
2 Dependants
Packages depending on atp_client
2 packages-
Livebook Smart Cells for AtpClient: a unified frontend over SystemOnTPTP, StarExec, Isabelle, and local TPTP-compliant prover binaries.
Updated 1 day ago
343recent downloads -
MCP server exposing the SystemOnTPTP, StarExec, Isabelle and LocalExec theorem-prover backends from AtpClient over stdio JSON-RPC.
Updated 1 day ago
266recent downloads
Checksum
Dependency Config
mix.exs
rebar.config
Gleam
erlang.mk
Package Details
this version
29
yesterday
9
last 7 days
160
all time
595