kino_atp_client

0.1.2

0.1.4 0.1.3 0.1.2 0.1.1 0.1.0

Provides a Smart Cell for querying external provers on SystemOnTPTP.

HexDocs HexPreview

Current section

3 Dependencies

Jump to

Readme 5 Versions 3 Dependencies 0 Dependants Activity

Dependencies of kino_atp_client

3 dependencies

Package	Requirement
atp_client	~> 0.1.3
ex_doc	~> 0.40
kino	~> 0.19

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions

this version

26

yesterday

2

last 7 days

36

all time

133

Last Updated

Apr 24, 2026

License

MIT

Build Tools

mix

Publisher

Links

GitHub

Owners

jcschuster