Packages

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

Current section

Activity

Jump to
Date Activity
Oct 25, 2026 Publish documentation for release 0.1.4
Oct 25, 2026 Publish release 0.1.4
Oct 19, 2026 Publish documentation for release 0.1.2
Oct 19, 2026 Publish release 0.1.2
Aug 18, 2026 Publish documentation for release 0.1.0
Aug 18, 2026 Publish release 0.1.0
Aug 09, 2026 Publish documentation for release 0.0.3
Aug 09, 2026 Publish release 0.0.3
Aug 04, 2026 Publish documentation for release 0.0.2
Aug 04, 2026 Publish release 0.0.2
Aug 04, 2026 Publish documentation for release 0.0.1
Aug 04, 2026 Publish release 0.0.1
12 activities of 12 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

0

yesterday

1

last 7 days

52

all time

325

Last Updated

Oct 25, 2026

License

MIT

Build Tools

mix

Publisher

jcschuster jcschuster

Links