isabelle_elixir

0.1.0

Elixir client for the Isabelle proof assistant

HexDocs HexPreview

Current section

1 Dependency

Jump to

Readme 2 Versions 1 Dependency 1 Dependant Activity

Dependencies of isabelle_elixir

1 dependency

Package	Requirement
json	~> 1.4

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions

this version

112

yesterday

0

last 7 days

35

all time

141

Last Updated

May 15, 2025

License

MIT

Build Tools

mix

Publisher

Links

Owners

davfuenmayor