kino_shot_ds

v0.1.0

Provides a Smart Cell for parsing TPTP Syntax into ShotDs data structures.

HexDocs HexPreview

Readme 3 Dependencies 0 Dependants Activity Versions

Dependencies of kino_shot_ds

3 dependencies

Package	Requirement	Status
ex_doc	~> 0.40
kino	~> 0.19
shot_ds	~> 1.0

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

Last Updated

Apr 22, 2026

License

MIT

Build Tools

mix

Publisher

Links

GitHub

Owners

jcschuster