davfuenmayor

Total Owned Packages
1

Total Downloads
87

  • isabelle_elixir0.1.0

    87 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.