Packages

Elixir client for automated theorem provers via SystemOnTPTP, StarExec, and Isabelle servers.

Current section

Activity

Jump to
Date Activity
May 08, 2026 Publish documentation for release 0.2.0
May 08, 2026 Publish release 0.2.0
May 08, 2026 Publish documentation for release 0.2.0
May 08, 2026 Publish release 0.2.0
Apr 28, 2026 Publish documentation for release 0.1.7
Apr 28, 2026 Publish release 0.1.7
Apr 28, 2026 Revert release 0.1.7
Apr 28, 2026 Publish documentation for release 0.1.7
Apr 28, 2026 Publish release 0.1.7
Apr 26, 2026 Publish documentation for release 0.1.6
Apr 26, 2026 Publish release 0.1.6
Apr 25, 2026 Publish documentation for release 0.1.5
Apr 25, 2026 Publish release 0.1.5
Apr 25, 2026 Publish documentation for release 0.1.5
Apr 25, 2026 Publish release 0.1.5
Apr 25, 2026 Publish documentation for release 0.1.4
Apr 25, 2026 Publish release 0.1.4
Apr 25, 2026 Publish documentation for release 0.1.4
Apr 25, 2026 Publish release 0.1.4
Apr 24, 2026 Publish documentation for release 0.1.3
Apr 24, 2026 Publish release 0.1.3
Apr 24, 2026 Publish documentation for release 0.1.3
Apr 24, 2026 Publish release 0.1.3
Apr 24, 2026 Publish documentation for release 0.1.3
Apr 24, 2026 Publish release 0.1.3
Apr 21, 2026 Publish documentation for release 0.1.2
Apr 21, 2026 Publish release 0.1.2
Apr 21, 2026 Publish documentation for release 0.1.1
Apr 21, 2026 Publish release 0.1.1
Apr 21, 2026 Publish documentation for release 0.1.0
Apr 21, 2026 Publish release 0.1.0
31 activities of 31 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

22

yesterday

0

last 7 days

60

all time

233

Last Updated

May 08, 2026

License

MIT

Build Tools

mix

Publisher

jcschuster jcschuster

Links