Packages

shot_ds

v1.0.4

Data structures for various HOL objects and TH0 parser.

HexDocs HexPreview

Current section

2 Dependants

Jump to
Readme
20 Versions
1 Dependency
2 Dependants
Activity

Packages depending on shot_ds

2 packages
  • shot_un v0.1.1

    Implements an algorithm for higher-order pre-unification.

    Published 3 weeks ago

    83
    recent downloads
    total downloads: 83
  • kino_shot_ds v0.1.0

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

    Published 1 week ago

    25
    recent downloads
    total downloads: 25
2 packages of 2 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions
0 20 40 60 80

this version

8

yesterday

8

last 7 days

49

all time

506

Last Updated

Apr 28, 2026

License

MIT

Build Tools

mix

Publisher

jcschuster jcschuster

Links

Owners