isabelle_elixir 0.1.0

Elixir bindings and utilities for the Isabelle proof assistant

Links

License

MIT

Downloads

0 20 40 60 80 Last 30 days, 0.1.0
  • 21 21
    this version
  • 11 11
    yesterday
  • 21 21
    last 7 days
  • 21 21
    all time

Versions (1)

Dependencies (1)

Recent Activity

  • May 15, 2025 Publish documentation for release 0.1.0
  • May 15, 2025 Publish release 0.1.0

Show All Activities

Config

mix.exs
rebar.config
erlang.mk

Checksum

Build Tools

mix

Owners

Publisher

davfuenmayor

Dependents (0)

About Hex

Help

Policies and Terms

2020 © Six Colors AB.

Powered by the Erlang VM and the Elixir programming language.