Packages
kino_shot_ds
v0.1.0
Provides a Smart Cell for parsing TPTP Syntax into ShotDs data structures.
Packages depending on kino_shot_ds
0 packagesNo packages depend on kino_shot_ds yet.
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
