KinoAtpClient

This package provides custom a custom Smart Cell for parsing TPTP syntax (raw formulas or TH0 problems) into the data structures of shot_ds.

Installation

Add kino_shot_ds to your list of dependencies in mix.exs:

def deps do
  [
    {:kino_shot_ds, "~> 0.1"}
  ]
end

Usage

Install the package with Mix.install([{:kino_shot_ds, "~> 0.1"}]) in your Livebook. After that, TPTP Parser will be available as a Smart Cell.