KinoAtpClient

This package provides custom Smart Cells for connecting to external provers on SystemOnTptp via the atp_client package.

Installation

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

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

Usage

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