Packages

Elixir client for the Isabelle proof assistant

Current section

0 Dependencies

Jump to

Dependencies of isabelle_elixir

0 dependencies

isabelle_elixir has no dependencies.

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

29

yesterday

0

last 7 days

35

all time

141

Last Updated

May 05, 2026

License

MIT

Build Tools

mix

Publisher

davfuenmayor davfuenmayor