API Reference isabelle_elixir v#0.1.0

View Source

Modules

Minimalistic stateless Elixir client for the Isabelle Server