Packages

Elixir client for the Isabelle proof assistant

Current section

Activity

Jump to
Date Activity
May 05, 2026 Publish documentation for release 0.2.0
May 05, 2026 Publish release 0.2.0
May 15, 2025 Publish documentation for release 0.1.0
May 15, 2025 Publish release 0.1.0
4 activities of 4 total

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