kino_atp_client

0.1.4

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

5 Versions

Jump to

Readme 5 Versions 2 Dependencies 0 Dependants Activity

Versions

May 08, 2026

April 28, 2026

April 24, 2026

April 22, 2026

April 21, 2026

Version	Publish Date	Note	Actions
0.1.4	May 08, 2026
0.1.3	April 28, 2026
0.1.2	April 24, 2026
0.1.1	April 22, 2026
0.1.0	April 21, 2026

5 versions of 5 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions

this version

21

yesterday

0

last 7 days

42

all time

131

Last Updated

May 08, 2026

License

MIT

Build Tools

mix

Publisher

Links

GitHub

Owners

jcschuster