Packages
kino_atp_client
v0.1.0
Provides a Smart Cell for querying external provers on SystemOnTPTP.
Dependencies of kino_atp_client
3 dependencies| Package | Requirement | Status |
|---|---|---|
| atp_client | ~> 0.1 | |
| ex_doc | ~> 0.40 | |
| kino | ~> 0.19 |
Checksum
Dependency Config
mix.exs
rebar.config
Gleam
erlang.mk
Package Details
Downloads
Last 30 days,
0.1.0
this version
0
yesterday
0
last 7 days
0
all time
0
