Packages

isabelle_elixir

0.4.1
0.4.1 0.4.0 0.3.0 0.2.0 0.1.0

Elixir client for the Isabelle proof assistant

HexDocs Report package

Current section

2 Dependants

Jump to
Readme
5 Versions
0 Dependencies
2 Dependants
Files
Activity

Packages depending on isabelle_elixir

2 packages
  • atp_client v0.6.2 requires ~> 0.4.1

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

    Updated 1 month ago

    992
    recent downloads
  • shot_tx v0.1.0 requires ~> 0.4

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

    Updated 2 weeks ago

    209
    recent downloads
2 packages of 2 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions
0 5 10 15 20

this version

291

yesterday

0

last 7 days

19

all time

724

Last Updated

Jul 20, 2026

License

MIT

Build Tools

mix

Publisher

davfuenmayor davfuenmayor

Links

Owners