Packages

Elixir bindings and utilities for the Isabelle proof assistant

Dependencies of isabelle_elixir

1 dependency
Package Requirement Status
json ~> 1.4

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, 0.1.0
0 20 40 60 80

this version

94

yesterday

0

last 7 days

0

all time

94

Last Updated

May 15, 2025

License

MIT

Build Tools

mix

Publisher

davfuenmayor davfuenmayor