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

3 Dependants

Jump to
Documentation
Changelog
License
5 Versions
0 Dependencies
3 Dependants
Files
Activity

Packages depending on isabelle_elixir

3 packages
  • atp_client v0.8.1 requires ~> 0.4

    Elixir client for automated theorem provers via SystemOnTPTP, StarExec, Isabelle servers and local binaries, on the tptp library.

    Updated 3 weeks ago

    754
    recent downloads
  • shot_tx v0.1.4 requires ~> 0.4

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

    Updated 1 week ago

    338
    recent downloads
  • kino_isabelle v0.1.0-alpha.2 requires ~> 0.4

    Livebook smart cell for Isabelle theories

    Updated 1 day ago

    68
    recent downloads
3 packages of 3 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

487

yesterday

3

last 7 days

38

all time

987

Last Updated

Jul 20, 2026

License

MIT

Build Tools

mix

Publisher

davfuenmayor davfuenmayor

Links

Owners