IsabelleClient.Result.Message (isabelle_elixir v0.3.0)

View Source

Isabelle prover message.