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 6 days ago

    166
    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 50 100 150 200

this version

36

yesterday

0

last 7 days

39

all time

952

Last Updated

Aug 18, 2026

Licenses

MIT, Apache-2.0

Build Tools

mix

Publisher

jcschuster jcschuster

Links