kino_shot_ds

0.1.1

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

HexDocs HexPreview

Current section

2 Dependencies

Jump to

Readme 2 Versions 2 Dependencies 0 Dependants Activity

Dependencies of kino_shot_ds

2 dependencies

Package	Requirement
kino	~> 0.19
shot_ds	~> 1.1

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions

this version

28

yesterday

0

last 7 days

23

all time

64

Last Updated

May 04, 2026

License

MIT

Build Tools

mix

Publisher

Links

GitHub

Owners

jcschuster