davfuenmayor

Total Owned Packages
1

Total Downloads
65

  • isabelle_elixir0.1.0

    65 Downloads

    Elixir bindings and utilities for the Isabelle proof assistant

About Hex

Help

Policies and Terms

2020 © Six Colors AB.

Powered by the Erlang VM and the Elixir programming language.