Current section

1 Dependant

Jump to

Packages depending on shot_un

1 package
  • shot_tx v0.1.0 requires ~> 0.2.1

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

    Updated 3 weeks ago

    213
    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

65

yesterday

2

last 7 days

4

all time

1 047

Last Updated

Aug 18, 2026

Licenses

MIT, Apache-2.0

Build Tools

mix

Publisher

jcschuster jcschuster

Links