Demo of the ShotDs Smart Cell

Copy Markdown View Source
Run in Livebook 
Mix.install([
  {:kino_shot_ds, "~> 0.1"}
])

TPTP Parser

problem = "thf(test, conjecture, $true => 'c/0').\r\n"

parsed_formula_or_problem =
  case ShotDs.Tptp.parse_tptp_string(problem) do
    {:ok, parsed} -> parsed
    {:error, reason} -> raise "Error: #{inspect(reason)}"
  end

:ok
parsed_formula_or_problem |> ShotDs.Util.Formatter.format!(false) |> IO.puts