Packages

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

Current section

1 Dependant

Jump to

Packages depending on shot_un

1 package
  • shot_tx v0.0.2 requires ~> 0.1

    Tableau component of Shot, a parallel Church Simple Type Theory theorem prover.

    Updated 6 hours ago

    0
    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

62

yesterday

1

last 7 days

300

all time

879

Last Updated

Jul 26, 2026

License

MIT

Build Tools

mix

Publisher

jcschuster jcschuster

Links