isabelle_elixir
v0.1.0
Search documentation of isabelle_elixir
Settings
API Reference
isabelle_elixir v#0.1.0
View Source
Modules
IsabelleClientMini
Minimalistic stateless Elixir client for the Isabelle Server