isabelle_elixir

v0.4.1

Search documentation of isabelle_elixir

IsabelleClient.Result.UseTheoriesResult (isabelle_elixir v0.4.1)

Structured use_theories result.

Hex Package Hex Preview Download ePub version

Built using ExDoc (v0.38.1) for the Elixir programming language