davfuenmayor

Total Owned Packages
1

Total Downloads
81

  • isabelle_elixir0.1.0

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