Hex
Packages
Pricing
Docs
Change color theme
Light
Dark
System
Log In
Change color theme
Light
Dark
System
Toggle navigation
Packages
Pricing
Docs
Log In
davfuenmayor
Total Packages
1
Total Downloads
94+
davfuenmayor@gmail.com
Packages
Stats
Packages
Most Popular
Most Popular
Most Downloaded
Newest First
isabelle_elixir
0.1.0
94+
Elixir bindings and utilities for the Isabelle proof assistant
Last Updated:
11 months ago
