Packages

shot_ds

1.3.1
1.3.1 1.3.0 1.2.10 1.2.9 1.2.8 1.2.7 1.2.6 1.2.5 1.2.4 1.2.3 1.2.2 1.2.1 1.2.0 1.1.8 1.1.7 1.1.6 1.1.5 1.1.4 1.1.3 1.1.2 1.1.1 1.1.0 1.0.5 1.0.4 1.0.3 1.0.2 1.0.1 1.0.0 0.5.0 0.4.2 0.4.1 0.4.0 0.3.3 0.3.2 0.3.1 0.3.0 0.2.3 0.2.2 0.2.1 0.2.0 0.1.2 0.1.1 0.1.0

Data structures for various HOL objects and TH0/1 parser.

HexDocs Report package

Current section

4 Dependants

Jump to
Documentation
Changelog
License
43 Versions
1 Dependency
4 Dependants
Files
Activity

Packages depending on shot_ds

4 packages
  • shot_un v0.2.1 requires ~> 1.3

    Higher-order pre-unification, Miller pattern unification, and second-order matching for ShotDs terms.

    Updated 1 month ago

    685
    recent downloads
  • shot_tx v0.1.0 requires ~> 1.3.1

    Tableau component of Shot, a parallel higher-order theorem prover.

    Updated 1 month ago

    264
    recent downloads
  • shot_to v0.2.0 requires ~> 1.3

    An Elixir implementation of NCPO-LNF (the βη-long-normal Computability Path Order of Niederhauser and Middeldorp) for ordering terms in Church's simple type theory as represented by the `shot_ds`...

    Updated 1 month ago

    222
    recent downloads
  • kino_shot_ds v0.1.3 requires ~> 1.2

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

    Updated 4 months ago

    189
    recent downloads
4 packages of 4 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

113

yesterday

0

last 7 days

4

all time

3 287

Last Updated

Aug 16, 2026

License

MIT

Build Tools

mix

Publisher

jcschuster jcschuster

Links

Owners