Current section

1 Dependant

Jump to

Packages depending on shot_un

1 package
  • shot_tx v0.1.4 requires ~> 0.2.1

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

    Updated 17 hours ago

    361
    recent downloads
1 package of 1 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions
0 10 20 30 40

this version

138

yesterday

29

last 7 days

79

all time

1 277

Last Updated

Aug 18, 2026

Licenses

MIT, Apache-2.0

Build Tools

mix

Publisher

jcschuster jcschuster

Links