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 3 weeks ago

    935
    recent downloads
  • shot_tx v0.0.3 requires ~> 0.4

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

    Updated 6 days ago

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

this version

262

yesterday

0

last 7 days

6

all time

677

Last Updated

Jul 20, 2026

License

MIT

Build Tools

mix

Publisher

davfuenmayor davfuenmayor

Links

Owners