Packages

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

Current section

3 Dependencies

Jump to

Dependencies of kino_shot_ds

3 dependencies
Package Requirement
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, all versions
0 5 10 15 20

this version

36

yesterday

0

last 7 days

23

all time

64

Last Updated

Apr 22, 2026

License

MIT

Build Tools

mix

Publisher

jcschuster jcschuster

Links